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