N. Klarlund og T. Rauhe, “BDD Algortihms and Cache Misses”, BRICS, bd. 3, nr. 26, jan. 1996.