Hickey, T. "CLP* and Constraint Abstraction", pp125-133

[POPL 1989] (1989) [ACM SIGACT-SIGPLAN] Proceedings of the 16th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages,  

Languages mentioned CLP* {1989} Constraint Logic Programming with abstractions