Ehud Y. Shapiro The Family of Concurrent Logic Programming Languages. 413-510 1989 21 ACM Comput. Surv. 3 db/journals/csur/csur21.html#Shapiro89