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. 1996 1996 Journal of Functional and Logic Programming 2 db/journals/jflp/jflp1996.html#FassbenderMV96