An Algebraic Theory of Graph Reduction