Efficient construction of binary moment diagrams for verifying arithmetic circuits. - Kiyoharu Hamaguchi; Akihito Morita; Shuzo Yajima (ICCAD, 1995)