@InProceedings{Bagnara94, Author = "R. Bagnara", Title = "On the Detection of Implicit and Redundant Numeric Constraints in {CLP} Programs", BookTitle = "Proceedings of the ``1994 Joint Conference on Declarative Programming (GULP-PRODE'94)''", Address = "Pe\~n\'{\i}scola, Spain", Month = "September", Year = 1994 }