TY  - RPRT
TI  - Finite Groundings for ASP with Functions: A Journey through Consistency
AU  - Lukas Gerlach
AU  - David Carral
AU  - Markus Hecher
PY  - 2024
DO  - 10.24963/ijcai.2024/375
UR  - https://arxiv.org/abs/2405.15794
ID  - 2405.15794
ER  -