The concurrent logic programming language cp: Definition and operational semantics (1987)

by V A Saraswat
Venue:In Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, POPL ’87