Highly Influenced

# Unification Revisited

@inproceedings{Lassez1986UnificationR, title={Unification Revisited}, author={Jean-Louis Lassez and Michael J. Maher and Kim Marriott}, booktitle={Foundations of Logic and Functional Programming}, year={1986} }

- Published 1986 in Foundations of Logic and Functional Programming
DOI:10.1007/3-540-19129-1_4

In the literature unification is often treated as a simple and straightforward matter, even though it is recognized as a deep and fundamental concept. However when a thorough presentation is attempted, it is then realized that the matter is fairly subtle and treacherous. For instance the notion of most general unifier and its property of being unique up to renaming are open to different interpretations. In fact there are several approaches to unification, based on different mathematicalâ€¦Â CONTINUE READING