A Unified Sequent Calculus for Focused Proofs.

Chuck C. Liang, Dale Miller

Browse the full LICS paper archive.