Unification in a combination of arbitrary disjoint equational theories (1989)

by M Schmidt-Schauss
Venue:J. Symbolic Computation