Klarlund, N. (1995). An n log n Algorithm for Online BDD Refinement. BRICS Report Series, 2(29). https://doi.org/10.7146/brics.v2i29.19931