Pierangelo Miglioli Ugo Moscato Daniele Mundici Mario Ornaghi Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings TABLEAUX Lecture Notes in Computer Science 1071 Springer 1996 3-540-61208-4 db/conf/tableaux/tableaux96.html