LP - Unification

Epsilon reduction -- another view of unification

Klaus Berkling[J. V. Wood (ed)] (inproceedings, 1986)

Constraining-Unification and the Programming Language UNICORN

Robert G. Brandes (incollection, 1986)

Extended Unification Algorithms For The Integration Of Functional Programming Into Logic Programming

M. Dincbas and P. van Hentenryck (article, 1987)

Unification: A Multidisciplinary Survey

Kevin Knight (article, 1989)