Madanlal Musuvathi David L. Dill An Incremental Heap Canonicalization Algorithm. 28-42 2005 conf/spin/2005 SPIN http://dx.doi.org/10.1007/11537328_6 db/conf/spin/spin2005.html#MusuvathiD05