Some heuristics for generating tree-like FBDD types - Bern, Jochen; Meinel, Christoph; Slobodová, Anna (Mathematik, Informatik: Forschungsbericht Universität <Trier>, 1994)