Login / Signup

Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications.

Björn Lellmann
Published in: IJCAR (2014)
Keyphrases