Cutting up graphs revisited - a short proof of Stallings' structure theorem

Bernhard Krön

This is a new and short proof of the main theorem of classical structure tree theory. Namely, we show the existence of certain automorphism-invariant tree-decompositions of graphs…