@PHDTHESIS{PhD:Manevich09,
  AUTHOR =       {Roman Manevich},
  TITLE =        {Partially Disjunctive Shape Analysis},
  SCHOOL =       {Tel-Aviv University, The Blavatnik School of Computer Science, Tel-Aviv, Israel},
  YEAR =         {2009},
  address =      {Tel Aviv, Israel},
  month =        {?},
  note =         {Submitted to the reviewing committee},
  source =       {Available at www.cs.tau.ac.il/$\sym$rumster/phd_thesis.pdf},
}