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