O. Sarbishei Bijan Alizadeh Masahiro Fujita Arithmetic Circuits Verification without Looking for Internal Equivalences. 7-16 2008 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2008.4547681 conf/memocode/2008 db/conf/memocode/memocode2008.html#SarbisheiAF08