Parallel Algorithms for the Circuit Value Update Problem by Keith H. Randall.