Some Heuristics for Generating Tree-like FBDD Types

Published in: Universität Trier, Mathematik/Informatik, Forschungsbericht (1994)