S. Woltran: "Contributions to Advanced Equivalence Checking in Answer Set Programming"; TU Wien, Fakultät für Informatik, 2008.