Bounded Proofs and Step Frames.

Nick Bezhanishvili, Silvio Ghilardi

Browse the full TABLEAUX paper archive.