@misc{indiciae2020d050c212,
  title = {Finding Regular Herbrand Models for CHCs using Answer Set Programming},
  author = {Gregoire Maire and Thomas Genet},
  year = {2025},
  doi = {10.4204/eptcs.434.3},
  url = {https://arxiv.org/abs/2510.26428},
  note = {Source identifier: 2510.26428}
}