A high-level intermediate language and the algorithms for compiling finite-domain constraints

Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library

DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering

Indexical-Based Solver Learning

CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming

On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains”

Constraints

Programming finite-domain constraint propagators in Action Rules

Theory and Practice of Logic Programming

The language features and architecture of b-prolog

Theory and Practice of Logic Programming - Prolog Systems