Jaffar, Maher, 1994. Constraint logic programming: a survey 19-20.. https://doi.org/10.1016/0743-1066(94)90033-7