Nils Klarlund. An ::::n:::: log ::::n:::: Algorithm for Online BDD Refinement. J. Algorithms, 32(2):133-154, 1999.
@article{Klarlund99:0, title = {An ::::n:::: log ::::n:::: Algorithm for Online BDD Refinement}, author = {Nils Klarlund}, year = {1999}, tags = {refinement}, researchr = {https://researchr.org/publication/Klarlund99%3A0}, cites = {0}, citedby = {0}, journal = {J. Algorithms}, volume = {32}, number = {2}, pages = {133-154}, }