TABLEAUX '95 (1995 Sankt Goar, Germany)

• Theorem proving with analytic tableaux and related methods