"A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems."

Agostino Dovier, Andrea Formisano, Enrico Pontelli (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics