@misc{indiciaee552f74c5a87,
  title = {The Power of Regular Constraint Propagation (Technical Report)},
  author = {Matthew Hague and Artur Jeż and Anthony W. Lin and Oliver Markgraf and Philipp Rümmer},
  year = {2025},
  doi = {10.1145/3763165},
  url = {https://arxiv.org/abs/2508.19888},
  note = {Source identifier: 2508.19888}
}