Answer Set Programming with Constraints Using Lazy Grounding.

Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi

Browse the full ICLP paper archive.