Proof-Search in Natural Deduction Calculus for Classical Propositional Logic.

Mauro Ferrari, Camillo Fiorentini

Browse the full TABLEAUX paper archive.