[Zurück]

@inproceedings{TUW-140236,
    author = {Oetsch, Johannes and Seidl, Martina and Tompits, Hans and Woltran, Stefan},
    title = {ccT: A Correspondence-Checking Tool For Logic Programs Under The Answer-Set Semantics},
    booktitle = {Proceedings of the JELIA2006},
    year = {2006},
    pages = {502--505},
    publisher = {Springer},
    address = {LNCS - Logics in Artificial Intelligence/4160},
    url = {http://www.springerlink.com/content/j8h8804nq63g42ll/?p=01a936ce2e2041f4bed707c95c03519c&pi=0},
    isbn = {978-3-540-39625-3},
    note = {Vortrag: 10th European Conference on Logics in Artificial Intelligence, Liverpool, UK; 2006-09-13 -- 2006-09-15}
}