@article{FassbenderVogler2008, author = {Heinz Faßbender and Heiko Vogler}, title = {A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract}, journal = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)}, pages = {95 -- 96}, year = {2008}, }