Nikolay Pelov Emmanuel De Mot Marc Denecker Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison. 225-239 http://link.springer.de/link/service/series/0558/bibs/1955/19550225.htm 2000 conf/lpar/2000 LPAR db/conf/lpar/lpar2000.html#PelovMD00