
M. AyalaRincón & Flávio
L.C. de Moura, Applied
Logic for Computer Scientists:
Computational Deduction and Formal Proofs, Springer, 2017.
M. AyalaRincón & Flávio L.C. de Moura, Fundamentos da Programação Lógica e Funcional  O Princípio de Resolução e a Teoria de Reescrita , Course Notes, Ed. UnB, December 2014. In Portuguese. 