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