Automated Reasoning with Analytic Tableaux and Related Methods - Schmidt, Renate A. (Springer International Publishing, 2020)