1. The alma project, or how first-order logic can help us in imperative programming;Apt,1999
2. Programming in alma-0, or imperative and declarative programming reconciled;Apt,2000
3. Matching of bounded set terms in the logic language LDL++;Arni;Journal of Logic Programming,1996
4. Integrating finite domains and set constraints into a set-based constraint language;Bergenti;Fundamenta Informaticae,2009
5. Choco. 〈http://www.choco-constraints.net〉.