Maurizio Gabbrielli;Giorgio Levi
-;-
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Models and emerging trends of concurrent constraint programming
Constraints