@misc{indiciaea6c457ef8542,
  title = {On Constructing Finite Automata by Relational Programming},
  author = {Attila Egri-Nagy and Chrystopher L. Nehaniv},
  year = {2025},
  url = {https://arxiv.org/abs/2502.08040},
  note = {Source identifier: 2502.08040}
}