Klarlund N. An n log n Algorithm for Online BDD Refinement. BRICS [Internet]. 29. januar 1995 [henvist 6. december 2025];2(29). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19931