Query Restricted Bottom-Up Evaluation of Normal Logic Programs.

David B. Kemp Peter J. Stuckey Divesh Srivastava Query Restricted Bottom-Up Evaluation of Normal Logic Programs. 288-302 1992 JICSLP db/conf/iclp/iclp92.html#KempSS92