TY  - RPRT
TI  - Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison
AU  - Nikolay Pelov
AU  - Emmanuel De Mot
AU  - Marc Denecker
PY  - 2000
UR  - https://arxiv.org/abs/cs/0011030
ID  - cs/0011030
ER  -