@phdthesis{us-1593,
  title = {Shape Analysis by Abstraction, Augmentation, and Transformation},
  author = {Ittai Balaban},
  year = {2007},
  url = {https://cs.nyu.edu/media/publications/balaban_ittai.pdf},
  researchr = {https://researchr.org/publication/us-1593},
  cites = {0},
  citedby = {0},
  school = {New York University, USA},
}