TABLEAUX 2011 (2011 Bern, Switzerland)

• Automated reasoning with analytic tableaux and related methods