@InProceedings{ChongR03,
  author =	 {Stephen Chong and Radu Rugina},
  title =	 {Static Analysis of Accessed Regions in Recursive Data Structures},
  month =	 jun,
  year =	 2003,
  booktitle =	 {Proceedings of the 10th International Static Analysis Symposium}
}