%0 Conference Paper %1 conf/iclp/CatDS12 %A Cat, Broes De %A Denecker, Marc %A Stuckey, Peter J. %B ICLP (Technical Communications) %D 2012 %E Dovier, Agostino %E Costa, Vítor Santos %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 201-211 %T Lazy Model Expansion by Incremental Grounding. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#CatDS12 %V 17 %@ 978-3-939897-43-9

@inproceedings{conf/iclp/CatDS12, added-at = {2024-02-05T00:00:00.000+0100}, author = {Cat, Broes De and Denecker, Marc and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/22360ee5ded30488c05426f914ba61a0d/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2012}, editor = {Dovier, Agostino and Costa, Vítor Santos}, ee = {https://doi.org/10.4230/LIPIcs.ICLP.2012.201}, interhash = {b23596efd1a113fdbfbfe109cea484f8}, intrahash = {2360ee5ded30488c05426f914ba61a0d}, isbn = {978-3-939897-43-9}, keywords = {dblp}, pages = {201-211}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T03:46:43.000+0200}, title = {Lazy Model Expansion by Incremental Grounding.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#CatDS12}, volume = 17, year = 2012 }