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},
}