Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog - Ledesma, Luis de ((Computación ; Programación), 2010)