Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco: Semmantic Properties of CHIP (FD). Constraint Processing, Selected Papers 1995: 225-245