Shuvendu K. Lahiri Madanlal Musuvathi An Efficient Decision Procedure for UTVPI Constraints. 168-183 2005 conf/frocos/2005 FroCos http://dx.doi.org/10.1007/11559306_9 db/conf/frocos/frocos2005.html#LahiriM05