Peter Auer. Unification in the Combination of Disjoint Theories. In Habib Abdulrab, Jean-Pierre Pécuchet, editors, Word Equations and Related Topics, Second International Workshop, IWWERT 91, Rouen, France, October 7-9, 1991, Proceedings. Volume 677 of Lecture Notes in Computer Science, pages 177-186, Springer, 1991.
Abstract is missing.