Fandinno, J.; Lillo, L. Solving Epistemic Logic Programs Using Generate-and-Test With Propagation. AAAI 2025, 39, 14902-14910.