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