L. Arge, “The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation”, BRICS, bd. 3, nr. 29, jan. 1996.