Automated Reasoning with Analytic Tableaux and Related Methods - Renate A. Schmidt, Cláudia Nalon (Springer, 2017)