Alexander Bockmayr. Model-Theoretic Aspects of Unification. In Klaus U. Schulz, editor, Word Equations and Related Topics, First International Workshop, IWWERT 90, Tübingen, Germany, October 1-3, 1990, Proceedings. Volume 572 of Lecture Notes in Computer Science, pages 181-196, Springer, 1990.
Abstract is missing.