Programming with constraints : an introduction - Marriott, Kim, 1961- (MIT Press, 1998)