@inproceedings{bern.lhot.ea03,
  author        = "Marc Berndl and Ond\v{r}ej Lhot\'ak and Feng Qian and
		  Laurie Hendren and Navindra Umanee",
  title         = "Points-to analysis using BDDs",
  booktitle	= {Proceedings of the ACM SIGPLAN 2003 Conference on
		  Programming Language Design and Implementation},
  year		= {2003},
  publisher	= {ACM Press}
  isbn          = {1-58113-662-5},
  pages         = {103--114},
  location      = {San Diego, California, USA},
  doi           = {http://doi.acm.org/10.1145/781131.781144},
  publisher     = {ACM Press}
}