B. O’Sullivan, “Automated Modelling and Solving in Constraint Programming”, AAAI, vol. 24, no. 1, pp. 1493–1497, Jul. 2010.