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