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