Unification in combinations of collapse-free regular theories (1987)

by K Yelick
Venue:Journal of Symbolic Computation