Wolfgang Faber, Hans Tompits, Stefan Woltran. Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. In Gerhard Brewka, Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. pages 433-443, AAAI Press, 2008.
@inproceedings{FaberTW08,
title = {Notions of Strong Equivalence for Logic Programs with Ordered Disjunction},
author = {Wolfgang Faber and Hans Tompits and Stefan Woltran},
year = {2008},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/FaberTW08},
cites = {0},
citedby = {0},
pages = {433-443},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008},
editor = {Gerhard Brewka and Jérôme Lang},
publisher = {AAAI Press},
isbn = {978-1-57735-384-3},
}