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

Prasad Rao, C. R. Ramakrishnan, I. V. Ramakrishnan

Browse the full ICLP paper archive.