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

Cadoli, M., Eiter, T., & Gottlob, G. (1992). An Efficient Method for Eliminating Varying Predicates from a Circumscription.

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

Cadoli, M., T. Eiter, و G. Gottlob. An Efficient Method for Eliminating Varying Predicates from a Circumscription. 1992.

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

Cadoli, M., et al. An Efficient Method for Eliminating Varying Predicates from a Circumscription. 1992.

تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.