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