ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics.

Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran

Browse the full JELIA paper archive.