Nils Klarlund An <i>n</i> log <i>n</i> Algorithm for Online BDD Refinement. 133-154 1999 32 J. Algorithms 2 db/journals/jal/jal32.html#Klarlund99