Beate Bollig, Marc Gillé: Randomized OBDDs for the Most Significant Bit of Multiplication Need Exponential Size. SOFSEM 2011: 135-145