@inproceedings{lhot.hend04,
  author        = "Ond\v{r}ej Lhot\'ak and Laurie Hendren",
  title         = "Jedd: A {BDD}-based Relational Extension of {Java}",
  booktitle	= {Proceedings of the ACM SIGPLAN 2004 Conference on
		  Programming Language Design and Implementation},
  year		= {2004},
  isbn          = {1-58113-807-5},
  location      = {Washington, D.C., USA},
  publisher     = {ACM Press}
}