Login / Signup

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

Johannes OetschMartina SeidlHans TompitsStefan Woltran
Published in: INAP/WLP (2007)
Keyphrases