Broes de Cat, Marc Denecker, Peter J. Stuckey. Lazy Model Expansion by Incremental Grounding. In Agostino Dovier, Vítor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. Volume 17 of LIPIcs, pages 201-211, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]
Abstract is missing.