Saraswat, V "The Concurrent Logic Programming Language CP: Definition and Operational Semantics" pp49-62

[POPL 1987] (1987) [ACM SIGACT-SIGPLAN] Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, January 21-23, 1987, Munich, West Germany  

Languages mentioned CP {1987} Concurrent Prolog