Le Van, T. (1993). Techniques of Prolog programming with implementation of logical negation and quantified goals. John Wiley & Sons.
Παραπομπή σε μορφή Chicago (17η εκδ.)Le Van, T. Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals. New York: John Wiley & Sons, 1993.
Παραπομπή σε μορφή MLA (8th εκδ.)Le Van, T. Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals. John Wiley & Sons, 1993.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.