Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison. - Nikolay Pelov; Emmanuel De Mot; Marc Denecker (LPAR, 2000)

A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems - Nikolay Pelov; Emmanuel De Mot; Maurice Bruynooghe (CoRR, 2000)