FRAIGs: A unifying representation for logic synthesis and verification (2005)

by A Mishchenko, S Chatterjee, R Jiang, R K Brayton