Taming Bounded Depth with Nested Sequents.

Lutz Straburger, Matteo Tesi, Agata Ciabattoni

Browse the full AiML paper archive.