Arge, L. 1996. The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation. BRICS Report Series. 3, 29 (Jan. 1996). DOI:https://doi.org/10.7146/brics.v3i29.20010.