Lazy Model Expansion by Incremental Grounding
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Broes de Cat, Marc Denecker, Peter J. Stuckey
Lazy Model Expansion by Incremental Grounding
ICLP, 2012.

ICLP 2012
Full names Links ISxN
	author        = "Broes de Cat and Marc Denecker and Peter J. Stuckey",
	booktitle     = "{Technical Communications of the 28th International Conference on Logic Programming}",
	doi           = "10.4230/LIPIcs.ICLP.2012.201",
	isbn          = "978-3-939897-43-9",
	pages         = "201--211",
	publisher     = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
	series        = "{Leibniz International Proceedings in Informatics}",
	title         = "{Lazy Model Expansion by Incremental Grounding}",
	volume        = 17,
	year          = 2012,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.