Renaud De Landtsheer. Solving CSP Including a Universal Quantification. In Peter Van Roy, editor, Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers. Volume 3389 of Lecture Notes in Computer Science, pages 200-210, Springer, 2004. [doi]
Abstract is missing.