@Article{ LeisersonRa97,
author = {Charles E. Leiserson and Keith H. Randall},
journal = {Theory of Computing Systems},
pages = {583--597},
title = {Parallel algorithms for the circuit value update problem},
volume = {30},
year = {1997}
}