Klarlund, N. and Rauhe, T. 1996. BDD Algortihms and Cache Misses. BRICS Report Series. 3, 26 (Jan. 1996). DOI:https://doi.org/10.7146/brics.v3i26.20007.