Ligęza, A. Models and Tools for Improving Efficiency in Constraint Logic Programming. DMMS 2011, 5, 69-78.