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. In JICSLP. pages 288-302, 1992.

Abstract

Abstract is missing.