TY  - BOOK
AU  - Wegener, Ingo
TI  - Branching programs and binary decision diagrams: theory and applications
SN  - 9780898714586
CY  - Philadelphia
ER  -