Klarlund, Nils, and Theis Rauhe. “BDD Algortihms and Cache Misses”. BRICS Report Series 3, no. 26 (January 26, 1996). Accessed November 27, 2024. https://tidsskrift.dk/brics/article/view/20007.