3 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Marija Kulaš
We revisit variable renaming from a practitioner's point of view, presenting concepts we found useful in dealing with operational semantics of pure Prolog. A concept of relaxed cor…