Logic Synthesis and Verification Algorithms - Hachtel, Gary D, Samenzi,Fabio (New Delhi Springer, 2006)