Constraint Processing Version 1.0-gamma Prof. Dr. W. Conen, FH Gelsenkirchen, WS06/07 -- Auf Basis von Rina Dechter, Constraint Processing, 2003 -- [Das.
