Logic synthesis and verification algorithms - Hachtel, Gary D; Somezi, Fabio (Kluwer Academic Publishers, 1996)