Transformation techniques for decision diagrams in computer aided designThorsten TheobaldEsaurito4,3Avvisami