JACK: A Java Constraint Kit. - Slim Abdennadher; Ekkerhard Krämer; Matthias Saft; Matthias Schmauss (WFLP, 2001)