Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT

J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
Vortrag: Technical Report of 21st Workshop on (Constraint) Logic Programming (WLP 2007), Würzburg, Germany; 04.10.2007 - 06.10.2007; in:"Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)", Seite 254-257 (2007), 4 S.