Towards Tableau Theorem-Proving with Analytic Cut.

Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt

Browse the full TABLEAUX paper archive.