A purely functional implementation of ROBDDs in Haskell.

Jan Christiansen Frank Huch A purely functional implementation of ROBDDs in Haskell. 55-71 2006 conf/sfp/2006 Trends in Functional Programming db/conf/sfp/tfp2006.html#ChristiansenH06