Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. Answer Set Programming with Constraints Using Lazy Grounding. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 115-129, Springer, 2009. [doi]
Abstract is missing.