Constraint functional logic programming over finite domains

Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda. Constraint functional logic programming over finite domains. TPLP, 7(5):537-582, 2007. [doi]

Abstract

Abstract is missing.