@inproceedings{ICLP-2010-Janhunen10,
author = "Tomi Janhunen",
booktitle = "{Technical Communications of the 26th International Conference on Logic Programming}",
doi = "10.4230/LIPIcs.ICLP.2010.94",
isbn = "978-3-939897-17-0",
pages = "94--103",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited}",
volume = 7,
year = 2010,
}
Tags: