A methodology for managing hard constraints in CLP systemsJoxan JaffarSpiro Michaylovet al.1991PLDI 1991