Ali, T. M. (2013). Query proof structure caching for incremental evaluation of tabled PROLOG programs.
Chicago Style (17th ed.) CitationAli, 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%准确.