[Zurück]

@inproceedings{TUW-140548,
    author = {Oetsch, Johannes and Seidl, Martina and Tompits, Hans and Woltran, Stefan},
    title = {ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming},
    booktitle = {Proceedings of CIC-06},
    year = {2006},
    pages = {3--11},
    publisher = {IEEE Computer Society},
    isbn = {978-0-7695-2708-6},
    note = {Vortrag: 15th International Conference on Computing (CIC 2006), Mexico City, Mexico; 2006-11-21 -- 2006-11-24}
}