Logic Synthesis and Verification Algorithms - Hachtel, Gary D.; Somenzi, Fabio (Springer US, 1996)