TY - RPRT TI - A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems AU - Nikolay Pelov AU - Emmanuel De Mot AU - Maurice Bruynooghe PY - 2000 UR - https://arxiv.org/abs/cs/0003026 ID - cs/0003026 ER -