Unification in a Combination of Arbitrary Disjoint Equational Theories

Cite this paper

@article{SchmidtSchau1988UnificationIA, title={Unification in a Combination of Arbitrary Disjoint Equational Theories}, author={Manfred Schmidt-Schau\ss}, journal={J. Symb. Comput.}, year={1988}, volume={8}, pages={51-99} }