Klarlund, N.; Rauhe, T. BDD Algortihms and Cache Misses. BRICS 1996, 3.