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