F. Bergenti, S. Monica and G. Rossi, “Constraint logic programming with polynomial constraints over finite domains”, Fundamenta Informaticae, vol. 161, no. 1-2, pp. 9-27, 2018