W. Faber and M. Morak, “Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers”, AAAI, vol. 37, no. 5, pp. 6322–6329, Jun. 2023.