Implementation of sequence BDDs in Erlang

Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato. Implementation of sequence BDDs in Erlang. In Kenji Rikitake, Erik Stenman, editors, Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011. pages 90-91, ACM, 2011. [doi]

@inproceedings{DenzumiAM11,
  title = {Implementation of sequence BDDs in Erlang},
  author = {Shuhei Denzumi and Hiroki Arimura and Shin-ichi Minato},
  year = {2011},
  doi = {10.1145/2034654.2034672},
  url = {http://doi.acm.org/10.1145/2034654.2034672},
  researchr = {https://researchr.org/publication/DenzumiAM11},
  cites = {0},
  citedby = {0},
  pages = {90-91},
  booktitle = {Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011},
  editor = {Kenji Rikitake and Erik Stenman},
  publisher = {ACM},
  isbn = {978-1-4503-0859-5},
}