"Multistage Indexing Algorithms for Speeding Prolog Execution."

Ta Chen, I. V. Ramakrishnan, R. Ramesh (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics