On eliminating disjunctions in stable logic programming (2004)

by T EITER, M FINK, H TOMPITS, S WOLTRAN
Venue:In Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR