@misc{indiciae67313f87dc0a, title = {A Framework for Extending microKanren with Constraints}, author = {Jason Hemann and Daniel P. Friedman}, year = {2017}, doi = {10.4204/eptcs.234.10}, url = {https://arxiv.org/abs/1701.00633}, note = {Source identifier: 1701.00633} }