Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7 - 11, 1999 ; proceedings (Springer, 1999)