TY  - RPRT
TI  - Solving Epistemic Logic Programs using Generate-and-Test with Propagation
AU  - Jorge Fandinno
AU  - Lute Lillo
PY  - 2024
UR  - https://arxiv.org/abs/2410.22130
ID  - 2410.22130
ER  -