Logic synthesis and verification algorithms - Hatchtel, Gary D.; Somenzi, Fabio (Kluwer Academic Publishers, 1996)
bibliography:pp.537-553