Incremental evaluation of computational circuits (1990)

by B Alpern, R Hoover, B Rosen, P Sweeney, F K Zadeck
Venue:In Proc. ACM–SIAM Symp. on Discrete Algorithms