Beierle, C., & Plumer, L. (1995). Logic programming: Formal methods and practical aplications. Elsevier.
Παραπομπή σε μορφή Chicago (17η εκδ.)Beierle, Christoph, και Lutz Plumer. Logic Programming: Formal Methods and Practical Aplications. Amsterdam: Elsevier, 1995.
Παραπομπή σε μορφή MLA (8th εκδ.)Beierle, Christoph, και Lutz Plumer. Logic Programming: Formal Methods and Practical Aplications. Elsevier, 1995.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.