- Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi, editors, Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX 96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings. Volume 1071 of Lecture Notes in Computer Science, Springer, 1996.