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]
Abstract is missing.