TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract T2 - Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.) Y1 - 1991 UR - https://opus.bibliothek.fh-aachen.de/opus4/frontdoor/index/index/docId/3713 SP - 95 EP - 96 PB - RWTH, Fachgruppe Informatik CY - Aachen ER -