Ta Chen I. V. Ramakrishnan R. Ramesh Multistage Indexing Algorithms for Speeding Prolog Execution. 639-653 1992 JICSLP db/conf/iclp/iclp92.html#ChenRR92