No. 29 (1996): RS-29 The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation