Bound Propagation for Arithmetic Reasoning in Vampire | IEEE Conference Publication | IEEE Xplore