Proof Theory for Indexed Nested Sequents.

Sonia Marin, Lutz Straburger

Browse the full TABLEAUX paper archive.