Joxan Jaffar. Presburger Arithmetic With Array Segments. Inf. Process. Lett., 12(2):79-82, 1981.
@article{Jaffar81,
title = {Presburger Arithmetic With Array Segments},
author = {Joxan Jaffar},
year = {1981},
researchr = {https://researchr.org/publication/Jaffar81},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {12},
number = {2},
pages = {79-82},
}