TY  - RPRT
TI  - Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics
AU  - Brysen Pfingsten
AU  - Jason Hemann
PY  - 2025
UR  - https://arxiv.org/abs/2510.15178
ID  - 2510.15178
ER  -