Robert M. Colomb. Enhancing Unification in Prolog through Clause Indexing. Journal of Logic and Algebraic Programming, 10(1/2/3&4):23-44, 1991.
@article{Colomb91, title = {Enhancing Unification in Prolog through Clause Indexing}, author = {Robert M. Colomb}, year = {1991}, tags = {Prolog}, researchr = {https://researchr.org/publication/Colomb91}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {10}, number = {1/2/3&4}, pages = {23-44}, }