Loading paper
Tight bound on treedepth in terms of pathwidth and longest path | Tomesphere