W. Faber, M. Morak, and S. Woltran, “Strong Equivalence for Epistemic Logic Programs Made Easy”, AAAI, vol. 33, no. 01, pp. 2809-2816, Jul. 2019.