The Complexity of Unification (1976)

by Lewis D Baxter