Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings - Murray, Neil V.; Murray, Neil V. (Springer Berlin Heidelberg : Imprint: Springer, 1999)