Constraint handling rules. Constraint programming: Basics and trends (1995)

by T Frühwirth