Finding Regular Herbrand Models for CHCs using Answer Set Programming. - Gregoire Maire; Thomas Genet (CoRR, 2025)