Satyaki Das David L. Dill Seungjoon Park Experience with Predicate Abstraction. 160-171 http://dx.doi.org/10.1007/3-540-48683-6_16 1999 conf/cav/1999 CAV db/conf/cav/cav99.html#DasDP99