Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics | Publicación