@InProceedings{ChristiansenHuch06,
  author =       "J. Christiansen and F. Huch",
  title =        "A purely functional implementation of {ROBDDs} in {Haskell}",
  booktitle=     "Trends in Functional Programming",
  volume=        "7",
  editor=        "Henrik Nilsson",
  publisher=     "Intellect",
  address=       "Bristol, UK",
  year=          "2006",
}