Integrating a Global Induction Mechanism into a Sequent Calculus.

David M. Cerna, Michael Peter Lettmann

Browse the full TABLEAUX paper archive.