Heinz Faßbender. Implementation of a Universal Unification Algorithm for Macro Tree Transducers. In Zoltán Ésik, editor, Fundamentals of Computation Theory, 9th International Symposium, FCT 93, Szeged, Hungary, August 23-27, 1993, Proceedings. Volume 710 of Lecture Notes in Computer Science, pages 222-233, Springer, 1993.
Abstract is missing.