Improvements to the Tableau Prover PITP.

Alessandro Avellone, Guido Fiorino, Ugo Moscato

Browse the full TABLEAUX paper archive.