Logic Sysntheiss and Verification Algorithms (1996)

by G Hachtel, F Somenzi