Chatterjee, Krishnendu, and Georg F Osang. “Pushdown Reachability with Constant Treewidth.”https://doi.org/10.1016/j.ipl.2017.02.003__Information Processing Letters. Elsevier, 2017.https://doi.org/10.1016/j.ipl.2017.02.003 .