Automated deduction - CADE 26 - de Moura, Leonardo, (Springer, 2017)
Base de Datos SPRINGER