1. Cantone, D., Zarba, C.G.: A new fast decision procedure for an unquantified fragment of set theory. First-Order Theorem Proving, 97–105 (1998)
2. Detlefs, D., Nelson, G., Saxe, J.B.: Simplify: A theorem prover for program checking. Technical Report HPL-2003-148, HP Labs (July 2003)
3. Detlefs, D.L., Leino, K.R.M., Nelson, G., Saxe, J.B.: Extended static checking. Technical Report SRC-159, COMPAQ SRC, Palo Alto, USA (December 1998)
4. Fradet, P., Métayer, D.L.: Shape types. In: POPL, pp. 27–39 (1997)
5. Hackett, B., Rugina, R.: Region-based shape analysis with tracked locations. In: POPL, pp. 310–323 (2005)