TABLEAUX '99 (1999 Saratoga Springs, N.Y.)

• Automated reasoning with analytic tableaux and related methods