Klarlund N. An n log n Algorithm for Online BDD Refinement. BRICS [Internet]. 1995 Jan. 29 [cited 2025 Jan. 9];2(29). Available from: https://tidsskrift.dk/brics/article/view/19931