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