Rita Loogen Relating the Implementation Techniques of Functional and Functional Logic Languages. 179-215 1993 11 New Generation Comput. 2 db/journals/ngc/ngc11.html#Loogen93