Incremental graph evaluation," Ph.D. dissertation and (1987)

by R Hoover