Finite Instantiations for Integer Difference Logic | IEEE Conference Publication | IEEE Xplore