Unification in conditional equational theories (1985)

by H Hussmann
Venue:Proceedings of the EUROCAL Conference