توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Seres, S., Spivey, J., & Hoare, C. (1999). Algebra of Logic Programming. MIT Press.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Seres, S., J. Spivey, و C. Hoare. Algebra of Logic Programming. MIT Press, 1999.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Seres, S., et al. Algebra of Logic Programming. MIT Press, 1999.