Yuliya Lierler. Disjunctive Answer Set Programming via Satisfiability. In Marina De Vos, Alessandro Provetti, editors, Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP 05 Workshop, Bath, UK, September 27-29, 2005. Volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, 2005. [doi]
@inproceedings{Lierler05,
title = {Disjunctive Answer Set Programming via Satisfiability},
author = {Yuliya Lierler},
year = {2005},
url = {http://www.ceur-ws.org/Vol-142/page85.pdf},
tags = {programming},
researchr = {https://researchr.org/publication/Lierler05},
cites = {0},
citedby = {0},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP 05 Workshop, Bath, UK, September 27-29, 2005},
editor = {Marina De Vos and Alessandro Provetti},
volume = {142},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}