@TECHREPORT{MLS,
  AUTHOR =       "Roman Manevich, Shuvendu K. Lahiri, and Mooly Sagiv",
  TITLE =        "Lightweight Analysis of Acyclic Unshared Lists",
  INSTITUTION =  "Tel Aviv University",
  YEAR =         2006,
  number =       {TR-2005-12-1297820},
  month =        jan,
  note = {Available at http://www.cs.tau.ac.il/$\sim$rumster/TR-2005-12-1297820.pdf}
}