Sabrina Baselice Piero A. Bonatti Michael Gelfond Towards an Integration of Answer Set and Constraint Solving. 52-66 2005 conf/iclp/2005 ICLP http://dx.doi.org/10.1007/11562931_7 db/conf/iclp/iclp2005.html#BaseliceBG05