Focused and Synthetic Nested Sequents.

Kaustuv Chaudhuri, Sonia Marin, Lutz Straburger

Browse the full FOSSACS paper archive.