Pushdown reachability with constant treewidth
scientific article; zbMATH DE number 6802742