First Order Unification in an Equational Theory (1979)

by M Fay
Venue:In Procs. of 4th International Conference on Automated Deduction