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