On Eliminating Disjunctions in Stable Logic Programming (0)

by T Eiter, M Fink, H Tompits, S Woltran
Venue:In Proc. of the 9th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2004