APA (7th ed.) Citation

Taher Muhammad, A. (2013). Query proof structure caching for incremental evaluation of tabled prolog programs / Taher Muhammad Ali.

Chicago Style (17th ed.) Citation

Taher Muhammad, Ali. Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs / Taher Muhammad Ali. 2013.

MLA (9th ed.) Citation

Taher Muhammad, Ali. Query Proof Structure Caching for Incremental Evaluation of Tabled Prolog Programs / Taher Muhammad Ali. 2013.

Warning: These citations may not always be 100% accurate.