1. Answer Set Solving in Practice;Gebser,2012
2. Strongly equivalent logic programs;Lifschitz;ACM Trans. Comput. Log.,2001
3. Strong equivalence for logic programs and default theories (made easy);Turner,2001
4. Uniform equivalence of logic programs under the stable model semantics;Eiter,2003
5. Achieving compositionality of the stable model semantics for smodels programs;Oikarinen;Theory Pract. Log. Program.,2008