This is an update request for the document Logical interpretation: Static program analysis using theorem proving
by Ashish Tiwari and Sumit Gulwani
Your paper was deposited in CiteSeerX
and appears online at http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.7378
Before we are able to make any updates or deletions, you must
ensure that the original record at this location is updated/removed.