Krishnendu Chatterjee, Georg Osang. Pushdown reachability with constant treewidth. Inf. Process. Lett., 122:25-29, 2017. [doi]
@article{ChatterjeeO17,
title = {Pushdown reachability with constant treewidth},
author = {Krishnendu Chatterjee and Georg Osang},
year = {2017},
doi = {10.1016/j.ipl.2017.02.003},
url = {http://dx.doi.org/10.1016/j.ipl.2017.02.003},
researchr = {https://researchr.org/publication/ChatterjeeO17},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {122},
pages = {25-29},
}