Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran. On Eliminating Disjunctions in Stable Logic Programming. In Didier Dubois, Christopher A. Welty, Mary-Anne Williams, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004. pages 447-458, AAAI Press, 2004.
Abstract is missing.