@Article{Lhotak:2009:UXZ,
  author =       "Ond\v{r}ej Lhot\'{a}k and Stephen Curial and Jos\'{e} Nelson Amaral",
  title =        "Using {XBDD}s and {ZBDD}s in points-to analysis",
  journal =      "Software, Practice and Experience",
  volume =       "39",
  number =       "2",
  year =         "2009",
  pages =        "163--188",
  publisher =    "Wiley",
}