TY  - BOOK
AU  - Ebendt, Rüdiger.
AU  - Fey, Görschwin.Drechsler, Rolf.
TI  - Advanced BDD Optimization
SN  - 9780387254548
UR  - http://dx.doi.org/10.1007/b107399
ER  -