Query Restricted Bottom-Up Evaluation of Normal Logic Programs.

David B. Kemp, Peter J. Stuckey, Divesh Srivastava

Browse the full ICLP paper archive.