Foundations of logic programming - Lloyd, J. W. (Berlín : Springer-Verlag, 1984)
Keywords: PROGRAMACIÓN LÓGICA