@misc{indiciaeadabcf0f9246, title = {The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops}, author = {Marius Bozga and Radu Iosif and Filip Konecny}, year = {2016}, url = {https://arxiv.org/abs/1307.5321}, note = {Source identifier: 1307.5321} }