TABLEAUX 2005 (2005 Koblenz, Germany)

• Automated reasoning with analytic tableaux and related methods