Kiyoharu Hamaguchi Akihito Morita Shuzo Yajima Efficient construction of binary moment diagrams for verifying arithmetic circuits. 78-82 1995 conf/iccad/1995 ICCAD http://doi.acm.org/10.1145/224841.224863 db/conf/iccad/iccad1995.html#HamaguchiMY95