DOI,IST REx ID,Research Group,Title of publication
10.1016/j.ipl.2017.02.003,1065,"KrCh,HeEd",Pushdown reachability with constant treewidth