François Major, Marcel Turcotte, Guy Lapalme: Constraint Satisfaction in Functional Programming. PPCP 1993: 174-177