Andreas Podelski

Constraint programming - - Springer-Verlag 1994 - 316



3-540-59155-9

004.43