@Article{tvlaToplas, Author = {Sagiv, M. and Reps, T. and Wilhelm, R.}, Title = {Parametric shape analysis via 3-valued logic}, Journal = {ACM Transactions on Programming Languages and Systems}, Volume = {24}, Number = {3}, Pages = {217-298}, year = 2002 }