4 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Tom Schrijvers, Maria Garcia de la Banda, Bart Demoen +1
Taylor introduced a variable binding scheme for logic variables in his PARMA system, that uses cycles of bindings rather than the linear chains of bindings used in the standard WAM…