"Solving Combinatorial Problems with a Constraint Functional Logic Language."

Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics