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