Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran. Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. In Marina De Vos, Alessandro Provetti, editors, Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP 03 Workshop, Messina, Italy, September 26-28, 2003. Volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, 2003. [doi]
@inproceedings{EiterFTW03,
title = {Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation},
author = {Thomas Eiter and Michael Fink and Hans Tompits and Stefan Woltran},
year = {2003},
url = {http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS//Vol-78/asp03-final-eiter-elim.pdf},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/EiterFTW03},
cites = {0},
citedby = {0},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP 03 Workshop, Messina, Italy, September 26-28, 2003},
editor = {Marina De Vos and Alessandro Provetti},
volume = {78},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}