Reactive Behavior Semantics for Concurrent Constraint Logic Programs (1989)

by H Gaifman, M J Maher, E Y Shapiro
Venue:Proc. North American Conf. on Logic Programming'89