[IEEE 2006 15th International Conference on Computing - Mexico city, Mexico (2006.11.21-2006.11.21)] 2006 15th International Conference on Computing - cc{\rm T}: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming
Oetsch, Johannes, Seidl, Martina, Tompits, Hans, Woltran, StefanYear:
2006
Language:
english
DOI:
10.1109/cic.2006.29
File:
PDF, 525 KB
english, 2006