1. Abramson, H., Unification-Based Conditional Binding Constructs, Proceedings of the First International Logic Programming Conference, Marseille, France, September, 1982.
2. New Generation Computing;H Abramson,1984
3. Anderson, R. and Bledsoe, W. W., A Linear Format for Resolution with Merging and a New Technique For Establishing Completeness, Journal of the ACM
30, (1983), 525–534.
4. Bandes, R. G., Constraining-Unification and the Programming Language Unicorn, POPL, Salt Lake City, Utah, January, 1984.
5. Baxter, L. D., An Efficient Unification Algorithm, Technical Report CS-73–23, Applied Analysis and Computer Science Department, University of Waterloo, 1973.