M. Nilsson;H. Tanaka
-;-
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)