Concurrent constraint programming and noncommutative logic (1998)

by P Ruet, F Fages
Venue:In Computer Science Logic'97, LNCS