Spiro Michaylov Repeated Redundant Inequalities in Constraint Logic Programming. 154-169 1994 conf/ccl/1994 CCL db/conf/ccl/ccl94.html#Michaylov94