CONSAT, a system for constraint satisfaction - Güsgen, Hans Werner 1959- (1988)