Applied Logic for Computer Scientists - Ayala-Rincón; de Moura, Flávio L. C. (Springer International Publishing, 2017)