A. Ligęza, “Models and Tools for Improving Efficiency in Constraint Logic Programming”, DMMS, vol. 5, no. 1, pp. 69–78, Oct. 2011, doi: 10.7494/dmms.2011.5.1.69.