Automated Reasoning with Analytic Tableaux and Related MethodsNicola Olivetti · First published 2007Open the Tome
Goal-directed proof theoryD.M. Gabbay, N. Olivetti, Dov M. Gabbay, Nicola Olivetti · First published 2000Open the Tome
