On Eliminating Disjunctions in Stable Logic Programming (2003)

by Thomas Eiter , Michael Fink , Hans Tompits , Stefan Woltran
Venue:PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (KR 2004
Citations:11 - 8 self