An Empirical Study of Partial Deduction for miniKanren
2021 ◽
Vol 341
◽
pp. 73-94
1996 ◽
Vol 81
(1)
◽
pp. 76-87
◽