Layph: Making Change Propagation Constraint in Incremental Graph Processing by Layering Graph | IEEE Conference Publication | IEEE Xplore