TY  - JOUR
A1  - Faßbender, Heinz
A1  - Maneth, Sebastian
T1  - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
T2  - Journal of functional and logic programming. 1998 (1998), H. 4
Y1  - 1998
UR  - https://opus.bibliothek.fh-aachen.de/opus4/frontdoor/index/index/docId/3707
SN  - 1080-5230
ER  -