TY  - RPRT
TI  - concurrentKanren: miniKanren for parallel execution
AU  - Sjoerd Dost
PY  - 2025
UR  - https://arxiv.org/abs/2510.04994
ID  - 2510.04994
ER  -