@inproceedings{ICLP-2012-OetschPT,
author = "Johannes Oetsch and Jörg Pührer and Hans Tompits",
booktitle = "{Technical Communications of the 28th International Conference on Logic Programming}",
doi = "10.4230/LIPIcs.ICLP.2012.222",
isbn = "978-3-939897-43-9",
pages = "222--234",
publisher = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions}",
volume = 17,
year = 2012,
}
Tags: