TABLEAUX'98 (1998 Oisterwijk, Netherlands)

• Automated reasoning with analytic tableaux and related methods