Kazuyuki Amano Akira Maruoka Better upper bounds on the QOBDD size of integer multiplication. 1224-1232 2007 155 Discrete Applied Mathematics 10 http://dx.doi.org/10.1016/j.dam.2006.11.010 db/journals/dam/dam155.html#AmanoM07