Association for Logic Programming. (2001). Theory and practice of logic programming. Cambridge University Press.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Association for Logic Programming. Theory and Practice of Logic Programming. Cambridge, England: Cambridge University Press, 2001.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Association for Logic Programming. Theory and Practice of Logic Programming. Cambridge University Press, 2001.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.