Piotr J. Wojciechowski, Pavlos Eirinakis, K. Subramani. Analyzing restricted fragments of the theory of linear arithmetic. Annals of Mathematics and Artificial Intelligence, 79(1-3):245-266, 2017. [doi]
@article{WojciechowskiES17,
title = {Analyzing restricted fragments of the theory of linear arithmetic},
author = {Piotr J. Wojciechowski and Pavlos Eirinakis and K. Subramani},
year = {2017},
doi = {10.1007/s10472-016-9525-7},
url = {http://dx.doi.org/10.1007/s10472-016-9525-7},
researchr = {https://researchr.org/publication/WojciechowskiES17},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {79},
number = {1-3},
pages = {245-266},
}