_id,doi,title
143,10.1145/3209108.3209191,Efficient algorithms for asymptotic bounds on termination time in VASS