Hachtel and Fabio Somenzi. Logic Synthesis and Verification Algorithms (2000)

by D Gary