Koichi Furukawa;Kazunori Ueda
-;-
Properties of Input-Consuming Derivations
Theory and Practice of Logic Programming
Models and emerging trends of concurrent constraint programming
Constraints