Lloyd, J W

Foundations of logic programming - 2nd ed. - Berlin Springer-Verlag 1993 - xii, 212 p.

005.1 L775F