First-order uni cation in an equational theory (1979)

by M Fay
Venue:Proc. of the Fourth Workshop on Automated Deduction