12 citations · 15 across the 5 of their papers we have counts for
1 paper · 1 filter
Eridan Domoratskiy, Dmitry Boulytchev
We present an efficient algorithm for rational term unification in persistent settings which demonstrates a comparable performance w.r.t. the conventional miniKanren unification wi…