Frank S. de Boer;Catuscia Palamidessi
-;-
Decidability properties for fragments of chr
Theory and Practice of Logic Programming
Concurrent and reactive constraint programming
A 25-year perspective on logic programming