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]
@inproceedings{CatDS12,
title = {Lazy Model Expansion by Incremental Grounding},
author = {Broes de Cat and Marc Denecker and Peter J. Stuckey},
year = {2012},
doi = {10.4230/LIPIcs.ICLP.2012.201},
url = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.201},
researchr = {https://researchr.org/publication/CatDS12},
cites = {0},
citedby = {0},
pages = {201-211},
booktitle = {Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary},
editor = {Agostino Dovier and Vítor Santos Costa},
volume = {17},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-43-9},
}