Speeding up the Constraint-Based Method in Difference Logic | Publicación