López-Fraguas, Rodríguez-Artalejo, Vírseda, 2005. Constraint Functional Logic Programming Revisited 117.. https://doi.org/10.1016/j.entcs.2004.06.030