"Enhancing Unification in Prolog through Clause Indexing."

Robert M. Colomb (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics