First-order unification in an equational theory (1979)

by M Fay
Venue:In Fourth Workshop on Automated Deduction