@inproceedings{GCH2024,
 author = {Gerlach, Lukas and Carral, David and Hecher, Markus},
 title = {Finite Groundings for {ASP} with Functions: A Journey through Consistency (Technical Report)},
 editor = {Kate Larson},
 booktitle = {Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI-24}},
 publisher = {International Joint Conferences on Artificial Intelligence Organization},
 year = {2024},
 month = {August},
 pages = {3386-3394},
 doi = {10.24963/ijcai.2024/375}
}