Pascal Van Hentenryck Thomas Graf Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming. 303-319 1992 5 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai5.html#HentenryckG92