Andreas Podelski Constraint programming - - Springer-Verlag 1994 - 316 ISBN: 3-540-59155-9 Dewey Class. No.: 004.43