15 citations · 34 across the 14 of their papers we have counts for
1 paper · 1 filter
Włodzimierz Drabent
We weaken the notion of "not subject to occur-check" (NSTO), on which most known results on avoiding the occur-check in logic programming are based. NSTO means that unification is…