[Zurück]

@inproceedings{TUW-141350,
    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 = {Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)},
    year = {2007},
    address = {Seite 254-257},
    numpages = {4},
    url = {http://www1.informatik.uni-wuerzburg.de/databases/INAP/2007/TR/report.pdf},
    note = {Vortrag: Technical Report of 21st Workshop on (Constraint) Logic Programming (WLP 2007), W{\"u}rzburg, Germany; 2007-10-04 -- 2007-10-06}
}