Sabrina Baselice Piero A. Bonatti Michael Gelfond A Preliminary Report on Integrating of Answer Set and Constraint Solving. 2005 conf/asp/2005 Answer Set Programming http://www.ceur-ws.org/Vol-142/page13-p.pdf db/conf/asp/asp2005.html#BaseliceBG05