Automated Reasoning with Analytic Tableaux and Related Methods

by Renate A. Schmidt, Cláudia Nalon