TY  - BOOK
AU  - Hachtel, Gary D.
TI  - Logic Synthesis and Verification Algorithms
SN  - 0306475928
U1  - 621.39/5 
PY  - 1996///
PB  - Kluwer Academic Publishers
ER  -