@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
}