Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics.
['Francisco Javier López-Fraguas', 'Juan Rodríguez-Hortalá', 'Jaime Sánchez-Hernández']
Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics.