N. Klarlund, “An n log n Algorithm for Online BDD Refinement”, BRICS, bd. 2, nr. 29, jan. 1995.