@misc{indiciae341966c9a930,
  title = {chrKanren: Constraint Handling Rules in a Relational Language},
  author = {Rafaello Sanna and William E. Byrd and Nada Amin},
  year = {2026},
  doi = {10.4204/eptcs.450.30},
  url = {https://arxiv.org/abs/2607.21204},
  note = {Source identifier: 2607.21204}
}