Constraint handling rules /
Frühwirth, Thom,1962-
Cambridge : Cambridge University Press,
2009.
Includes bibliographical references and index.
Constraint programming (Computer science)
Logic programming.
Declarative programming.