Ligęza A. Models and Tools for Improving Efficiency in Constraint Logic Programming. DMMS [Internet]. 2011Oct.3 [cited 2024May4];5(1):69-78. Available from: https://journals.agh.edu.pl/dmms/article/view/537