Some heuristics for generating tree-like FBDD types - Bern, Jochen (Trierer Forschungsberichte, 1994)