Taher Muhammad, A. (2013). Query proof structure caching for incremental evaluation of tabled prolog programs / Taher Muhammad Ali.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Taher Muhammad, Ali. Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs / Taher Muhammad Ali. 2013.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Taher Muhammad, Ali. Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs / Taher Muhammad Ali. 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.