@InProceedings{Mendez-Lojo:2008:ESS,
  author =       "Mario M{\'e}ndez-Lojo and Ond\v{r}ej Lhot{\'a}k and Manuel V. Hermenegildo",
  title =        "Efficient Set Sharing Using {ZBDD}s",
  year =         "2008",
  pages =        "47--63",
  editor =       "Jos{\'e} Nelson Amaral",
  booktitle =    "Languages and Compilers for Parallel Computing, 21th International Workshop, {LCPC} 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "5335",
  ISBN =         "978-3-540-89739-2",
}