On eliminating disjunctions in stable logic programming (2004)

by T Eiter, M Fink, H Tompits, S Woltran
Venue:Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning, 447–458. Whistler, BC: The AAAI Press/The