TY  - BOOK
AU  - Drechsler, Rolf
AU  - Becker, Bernd
TI  - Binary decision diagrams : theory and implementation
SN  - 9780792381938
U1  - 658.403015118 DRE 
PY  - 1998///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Decision logic tables
ER  -