1. Bochman, A., Lifschitz, V.: Yet another characterization of strong equivalence. In: Technical Communications of the 27th International Conference on Logic Programming (ICLP), pp. 11–15 (2011)
2. Cabalar, P., Ferraris, P.: Propositional theories are strongly equivalent to logic programs. Theory Pract. Logic Program. 7, 745–759 (2007)
3. Chen, Y., Lin, F., Li, L.: SELP – a system for studying strong equivalence between logic programs. In: Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning, pp. 442–446 (2005)
4. De Jongh, D., Hendriks, L.: Characterization of strongly equivalent logic programs in intermediate logics. Theory Pract. Logic Program. 3, 259–270 (2003)
5. Eiter, T., Fink, M., Tompits, H., Woltran, S.: Strong and uniform equivalence in answer-set programming: characterizations and complexity results for the non-ground case. In: Proceedings of AAAI Conference on Artificial Intelligence (AAAI), pp. 695–700 (2005)