Faßbender, H., et al.. Implementation of a Deterministic Partial E-unification Algorithm for Macro Tree Transducers. Universität Ulm, Mar. 2016, doi:10.18725/oparu-1679.