Gilberto Filé Giuseppe Nardiello Adriano Tirabosco Semmantic Properties of CHIP (FD). 225-245 1995 conf/cp/1995s Constraint Processing, Selected Papers db/conf/cp/cp1995s.html#FileNT95