Hachtel and Fabio Somenzi. Logic synthesis and verification algorithms (0)

by D Gary