Ta Chen I. V. Ramakrishnan R. Ramesh Multistage Indexing for Speeding Prolog Executions. 1097-1119 1994 24 Softw., Pract. Exper. 12 db/journals/spe/spe24.html#ChenRR94