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