Applied logic for computer scientists [electronic resource] : computational deduction and formal proofs - Ayala-Rincón, Mauricio.; de Moura, Flávio L. C. (Springer, 2017)