Loading paper
$b$-Coloring Parameterized by Pathwidth is XNLP-complete | Tomesphere