Automated Reasoning with Analytic Tableaux and Related Methods - Schmidt; Nalon, Cláudia (Springer International Publishing, 2017)