TY  - RPRT
TI  - Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
AU  - Nikolai Kudasov
PY  - 2026
UR  - https://arxiv.org/abs/2607.25373
ID  - 2607.25373
ER  -