Reinhold Letz

Bibliography

Letz, Reinhold. 1998. “Clausal Tableaux.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 43–72. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.
Letz, Reinhold. 1999. “First-order Tableau Methods.” in Handbook of Tableau Methods, edited by Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, pp. 125–196. Berlin: Springer.