Efficient and Constructive Algorithms for the Pathwidth and Treewidth of Graphs
An Algebraic Theory of Graph Reduction