An Extension of the System ccT for Testing Relativised Uniform Equivalence under Answer-Set Projection

J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"An Extension of the System ccT for Testing Relativised Uniform Equivalence under Answer-Set Projection";
als Vortrag angenommen für: Proceedings of the 16th International Conference on Computing (CIC 2007), Mexico City; 04.11.2007 - 09.11.2007; in:"Proceedings of the 16th International Conference on Computing (CIC 2007)", (2007).