Parametric shape analysis via 3-valued logic. Sagiv, M.; Reps, T.; and Wilhelm, R. ACM Transactions on Programming Languages and Systems, 24(3):217-298, 2002.
bibtex   
@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
}
Downloads: 0