N. Klarlund and T. Rauhe, “BDD Algortihms and Cache Misses”, BRICS, vol. 3, no. 26, Jan. 1996.