D’Agostino, Marcello, Gabbay, Dov M., Hähnle, Reiner and Posegga, Joachim, eds. 1999. Handbook of Tableau Methods. Berlin: Springer.
Posegga, Joachim and Schmitt, Peter H. 1999. “Implementing Semantic Tableaux.” in Handbook of Tableau Methods, edited by Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, pp. 581–630. Berlin: Springer.