Title: Automated Reasoning with Analytic Tableaux and Related Methods
Subjects: Congresses, Automatic theorem proving