Title: Constraint handling rules
First published: 2009
LC classification: QA76.612 .F77 2009