Related Links
- The Handbook
of Tableau Methods. Kluwer Academic Publishers, 1999.
Edited by Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga. - The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods on Wikipedia.