Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
On Eliminating Disjunctions in Stable Logic Programming
KR, 2004.
@inproceedings{KR-2004-EiterFTW,
author = "Thomas Eiter and Michael Fink and Hans Tompits and Stefan Woltran",
booktitle = "{Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning}",
ee = "http://www.aaai.org/Library/KR/2004/kr04-047.php",
isbn = "1-57735-199-1",
pages = "447--458",
publisher = "{AAAI Press}",
title = "{On Eliminating Disjunctions in Stable Logic Programming}",
year = 2004,
}