Saraswat, V "The Concurrent Logic Programming Language CP: Definition and Operational Semantics" pp49-62 view details in [ACM SIGACT-SIGPLAN] Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, January 21-23, 1987, Munich, West Germany view details