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  - Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)
Y1  - 1996
UR  - https://opus.bibliothek.fh-aachen.de/opus4/frontdoor/index/index/docId/3701
SN  - 3-540-61735-3
N1  - (Lecture notes in computer science ; 1139)
SP  - 194
EP  - 208
PB  - Springer
CY  - Berlin [u.a.]
ER  -