Avi Dechter, Rina Dechter: Removing Redundancies in Constraint Networks. AAAI 1987: 105-109