Automated reasoning with analytic tableaux and related methods - Schmidt, Renate A., (Springer, 2017)
Base de Datos SPRINGER