Towards a Combinatorial Proof Theory.

Benjamin Ralph, Lutz Straburger

Browse the full TABLEAUX paper archive.