Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming (2005)

by H Tompits, S Woltran
Venue:In Proceedings of the 21st International Conference on Logic Programming (ICLP 2005), volume 3668 of LNCS