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

Bjrn Lellmann

Browse the full CADE paper archive.