TY  - BOOK
A1  - Faßbender, Heinz
A1  - Maneth, Sebastian
T1  - A strict border for the decidability of e-unification for recursive functions
Y1  - 1996
UR  - https://opus.bibliothek.fh-aachen.de/opus4/frontdoor/index/index/docId/3672
N1  - (Technische Berichte ; 96,21)
PB  - TU, Fak. Informatik
CY  - Dresden
ER  -