Designing constraint logic programming languages using computational systems (1995)

by Claude Kirchner, Hélène Kirchner, Marian Vittek
Venue:Principles and Practice of Constraint Programming. The Newport Papers., chapter 8