A new generic scheme for functional logic programming with constraints.

Francisco Javier López-Fraguas Mario Rodríguez-Artalejo Rafael del Vado Vírseda A new generic scheme for functional logic programming with constraints. 73-122 2007 20 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1007/s10990-007-9002-4 db/journals/lisp/lisp20.html#Lopez-FraguasRV07