Logic Synthesis And Verification Algorithms door Gary D. Hachtel & Fabio Somenzi