Description, implementation, and practical comparison of unification algorithms (1978)

by P Trum, G Winterstein
Venue:Internal Rep. 6/78, Fachbereich Informatik, Univ. of Kaiserlautern