[1]
N. Klarlund, “An n log n Algorithm for Online BDD Refinement”, BRICS, vol. 2, no. 29, Jan. 1995.