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