Modeling answer constraints in constraint logic programs - Gabbrielli, Maurizio; Levi, Giorgio 1942- (1991)