A Foundation for Higher-order Concurrent Constraint (1994)

by G Smolka
Venue:Programming.” 1st International Conference on Constraints in Computational Logics