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]
Abstract is missing.