Klarlund, N. An N Log N Algorithm for Online BDD Refinement. BRICS 1995, 2.