Alessandro Avellone, Guido Fiorino, Ugo Moscato. Improvements to the Tableau Prover PITP. In Nicola Olivetti, editor, Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. Volume 4548 of Lecture Notes in Computer Science, pages 233-237, Springer, 2007. [doi]
Abstract is missing.