استشهادات التسجيلة

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

(1992). Types in logic programming / edited by Frank Pfenning.

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

Types in Logic Programming / Edited by Frank Pfenning. 1992.

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

Types in Logic Programming / Edited by Frank Pfenning. 1992.

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