Alois Haselböck Exploiting Interchangeabilities in Constraint-Satisfaction Problems. 282-289 1993 conf/ijcai/1993 IJCAI db/conf/ijcai/ijcai93.html#Haselbock93