constraint handling rules

  1. REDIRECT Constraint Handling Rules {{R from other capitalisation}}