Prasad Rao C. R. Ramakrishnan I. V. Ramakrishnan On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. 310-324 1998 IJCSLP db/conf/iclp/iclp98.html#RaoRR98