Answer Set Programming with Constraints Using Lazy Grounding.

Alessandro Dal Palù Agostino Dovier Enrico Pontelli Gianfranco Rossi Answer Set Programming with Constraints Using Lazy Grounding. 115-129 2009 ICLP http://dx.doi.org/10.1007/978-3-642-02846-5_14 conf/iclp/2009 db/conf/iclp/iclp2009.html#PaluDPR09