Ligęza, A. Models and Tools for Improving Efficiency in Constraint Logic Programming. DMMS 2011, 5 (1), 69-78. https://doi.org/10.7494/dmms.2011.5.1.69.