First Order Unification in an Equational Theory (1979)

by M Fay
Venue:In Proc of 4th Int'l Conf. on Automated Deduction