TY - RPRT TI - Constraint Functional Logic Programming over Finite Domains AU - Antonio J. Fernandez AU - Teresa Hortala-Gonzalez AU - Fernando Saenz-Perez AU - Rafael del Vado-Virseda PY - 2006 UR - https://arxiv.org/abs/cs/0601071 ID - cs/0601071 ER -