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