Residuation and guarded rules for constraint logic programming - Smolka, Gert 1955- (Digital Equipment Corp., 1991)