Journal of Automated Reasoning. Springer Netherlands.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Journal of Automated Reasoning. Springer Netherlands.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Journal of Automated Reasoning. Springer Netherlands.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.