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";
in:"Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (Hrg.); Springer, 2009, ISBN: 978-3-642-00674-6, S. 241 - 246.