Title: Automated reasoning with analytic tableaux and related methods
Subjects: Congresses, Automatic theorem proving