Semi-Axiomatic Sequent Calculus.

Henry DeYoung, Frank Pfenning, Klaas Pruiksma

Browse the full FSCD paper archive.