Solving Epistemic Logic Programs Using Generate-and-Test with Propagation. - Jorge Fandinno; Lute Lillo (AAAI, 2025)