From Concurrent Logic Programming to Concurrent Constraint Programming (1994)

by F de Boer, C Palamidessi
Venue:Advances in Logic Programming Theory