TY  - SER
AU  - Gunther, Wolfgang
TI  - Efficient Minimization and Manipulation of Linearly Trans for med Binary Decision Diagrams
KW  - Binary Decision Diagtam
ER  -