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