TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
A1  - Wedel, Andrea
T1  - An abstract machine for the E-Unification with macro tree transducer
T2  - 7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]
Y1  - 1993
UR  - https://opus.bibliothek.fh-aachen.de/opus4/frontdoor/index/index/docId/3716
ER  -