CONSAT a system for constraint satisfaction - Güsgen, Hans Werner 1959- (Pitman u.a., 1989)