[ACM] ACM Computing Surveys (CSUR) 28(4) December 1996

[ACM] [ACM] ACM Computing Surveys (CSUR)  

Smolka, Gert (1996) Smolka, Gert "Constraints in OZ"