Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers

Heinz Faßbender, Andrea Mößle, Heiko Vogler. Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers. Journal of Functional and Logic Programming, 1996(2), 1996.

Abstract

Abstract is missing.