Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.

Hans Tompits, Stefan Woltran

Browse the full ICLP paper archive.