Faber, W., Morak, M. and Woltran, S. (2019) “Strong Equivalence for Epistemic Logic Programs Made Easy”, Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), pp. 2809-2816. doi: 10.1609/aaai.v33i01.33012809.