Automated reasoning with analytic tableaux and related methods - Schmidt, Renate A.; Nalon, Cláudia (Springer, 2017)