Residuation and guarded rules for constraint logic programming - Smolka, Gert 1955- (Paris Research Laboratory: PRL research reports, 1991)