https://9lib.org/document/zkw6vm1m-gallai-s-innequality-critical-graphs-reducible-hereditary-properties.html