Tight bounds for reachability problems on one-counter and pushdown systems. - Jakob Cetti Hansen; Adam Husted Kjelstrøm; Andreas Pavlogiannis (Inf. Process. Lett., 2021)