Lloyd, J. W. (1984). Foundations of logic programming. Springer-Verlag.
Παραπομπή σε μορφή Chicago (17η εκδ.)Lloyd, J. W. Foundations of Logic Programming. Berlin: Springer-Verlag, 1984.
Παραπομπή σε μορφή MLA (8th εκδ.)Lloyd, J. W. Foundations of Logic Programming. Springer-Verlag, 1984.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.