On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution

Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan. On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. In Implementation Technology for Programming Languages based on Logic. pages 310-324, 1998.

Abstract

Abstract is missing.