Spiro Michaylov Repeated Redundant Inequalities in Constraint Logic Programming. 26-39 1998 142 Inf. Comput. 1 db/journals/iandc/iandc142.html#Michaylov98