"A purely functional implementation of ROBDDs in Haskell."

Jan Christiansen, Frank Huch (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics