[Zurück]

@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}
}