Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers. - Heinz Faßbender; Andrea Mößle; Heiko Vogler (J. Funct. Log. Program., 1996)

Benefits of Hypergraphs for Program Transformation. - Andrea Mößle; Heiko Vogler (GI Jahrestagung, 1997)