[Zurück]

@inproceedings{TUW-141351,
    author = {Oetsch, Johannes and Seidl, Martina and Tompits, Hans and Woltran, Stefan},
    title = {An Extension of the System ccT for Testing Relativised Uniform Equivalence under Answer-Set Projection},
    booktitle = {Proceedings of the 16th International Conference on Computing (CIC 2007)},
    year = {2007},
    note = {zur Ver{\"o}ffentlichung angenommen; Vortrag: Proceedings of the 16th International Conference on Computing (CIC 2007), Mexico City; 2007-11-04 -- 2007-11-09}
}