@TECHREPORT{KlaRau_BDDalgcachemiss,
AUTHOR = {Klarlund, N and Rauhe, T.},
TITLE = {BDD Algorithms and Cache Misses},
INSTITUTION = {BRICS Report Series RS-96-5, Department of
  Computer Science,
  University of Aarhus},
YEAR = {1996},
}