2 citations · 4 across the 7 of their papers we have counts for
1 paper · 2 filters
Włodzimierz Drabent
The s-semantics makes it possible to explicitly deal with variables in program answers. So it seems suitable for programs using nonground data structures, like open lists. However…