Francesca Rossi Redundant Hidden Variables in Finite Domain Constraint Problems. 205-223 1995 conf/cp/1995s Constraint Processing, Selected Papers db/conf/cp/cp1995s.html#Rossi95