J. Fandinno and L. Lillo, “Solving Epistemic Logic Programs Using Generate-and-Test with Propagation”, AAAI, vol. 39, no. 14, pp. 14902–14910, Apr. 2025.