TY  - RPRT
TI  - Finding Regular Herbrand Models for CHCs using Answer Set Programming
AU  - Gregoire Maire
AU  - Thomas Genet
PY  - 2025
DO  - 10.4204/eptcs.434.3
UR  - https://arxiv.org/abs/2510.26428
ID  - 2510.26428
ER  -