An Efficient Unification Algorithm (1973)

by L D Baxter
Venue:In Prolog ImDlementation