Faber, W.; Morak, M.; Woltran, S. Strong Equivalence for Epistemic Logic Programs Made Easy. AAAI 2019, 33, 2809-2816.