TABLEAUX 2000 (2000 St. Andrews, Scotland)

• Automated reasoning with analytic tableaux and related methods