L FranciscoJ.

A new generic scheme for functional logic programming with constraints

L FranciscoJ., 2007 .

A Simple Rewrite Notion for Call-time Choice Semantics

L FranciscoJ., Juan Rodr ´ iguez-Hortal, Dep . Sistemas, 2010 .