@inproceedings{TUW-177140, author = {Oetsch, Johannes and Seidl, Martina and Tompits, Hans and Woltran, Stefan}, title = {Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT}, booktitle = {Applications of Declarative Programming and Knowledge Management}, year = {2009}, editor = {Seipel, Dietmar and Hanus, Michael and Wolf, Armin}, pages = {241--246}, publisher = {Springer}, url = {http://publik.tuwien.ac.at/files/PubDat_177140.pdf}, isbn = {978-3-642-00674-6} }