TY  - RPRT
TI  - chrKanren: Constraint Handling Rules in a Relational Language
AU  - Rafaello Sanna
AU  - William E. Byrd
AU  - Nada Amin
PY  - 2026
DO  - 10.4204/eptcs.450.30
UR  - https://arxiv.org/abs/2607.21204
ID  - 2607.21204
ER  -