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