A. Houri;E. Shapiro
Weizmann Institute of Science;Weizmann Institute of Science
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)