Parallel algorithms for the circuit value update problem
scientific article; zbMATH DE number 1143119