Congruence Closure with Integer Offsets | Publicación