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