_id,doi,title
1065,10.1016/j.ipl.2017.02.003,Pushdown reachability with constant treewidth