Natarajan, S. (1994). A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Natarajan, Surash. A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach. 1994.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Natarajan, Surash. A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach. 1994.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.