Wojciechowski, Eirinakis, Subramani, 2017. Erratum to: Analyzing restricted fragments of the theory of linear arithmetic 79.. https://doi.org/10.1007/s10472-017-9537-y