1. P. Abate and R. Goré. The Tableaux Work Bench. In M. C. Mayer and F. Pirri, eds,Proceedings of the 12th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'03), vol. 2796 ofLecture Notes in Computer Science, pp. 230-236. Springer, 2003.
2. R. Alenda, N. Olivetti, C. Schwind, and D. Tishkovsky. Tableau calculi for CSL over minspaces. In A. Dawar and H. Veith, eds,Proceedings of the 19th Annual Conference of the European Association for Computer Science Logic (CSL'10), vol. 6247 ofLecture Notes in Computer Science, pp. 52-66. Springer, 2010.
3. Generalized tableau systems for intermediate propositional logics
4. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider.Description Logic Handbook. Cambridge University Press, 2003.