@Article{marriott-odersky:confluent-calculus,
  author = 	 "Kim Marriott and Martin Odersky",
  title = 	 "A confluent calculus for concurrent constraint programming",
  journal =	 "Theoretical Computer Science",
  year =	 1997,
  volume =	 173,
  number =	 1,
  pages =	 "209-233"
}