Faber, W.; Morak, M. Evaluating Epistemic Logic Programs via Answer Set Programming With Quantifiers. AAAI 2023, 37, 6322-6329.