The tutorial is based on the documents

[1] Finite Domain Constraint Programming in Oz.
A Tutorial.

by Christian Schulte and Gert Smolka

and

[2] Problem Solving with
Finite Set Constraints in Oz. A Tutorial.

by Tobias Müller

Andreas Rossberg 2006-08-28