Neil V. Murray Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings TABLEAUX Lecture Notes in Computer Science 1617 Springer 1999 3-540-66086-0 db/conf/tableaux/tableaux99.html