Zadeck, “Incremental evaluation of computational circuits (1990)

by B Alpern, R Hoover, B K Rosen, P F Sweeney, F K
Venue:in Proc. 1st ACM-SIAM Symposium on Discrete Algorithms