Arge, L. The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation. BRICS 1996, 3.