@misc{indiciaebd5b3b407be0, title = {An Empirical Study of Partial Deduction for miniKanren}, author = {Ekaterina Verbitskaia and Daniil Berezun and Dmitry Boulytchev}, year = {2021}, doi = {10.4204/eptcs.341.5}, url = {https://arxiv.org/abs/2109.02814}, note = {Source identifier: 2109.02814} }