Louis E. Rosier. A Note on Presburger Arithmetic with Array Segments, Permutation and Equality. Inf. Process. Lett., 22(1):33-35, 1986.
@article{Rosier86, title = {A Note on Presburger Arithmetic with Array Segments, Permutation and Equality}, author = {Louis E. Rosier}, year = {1986}, tags = {e-science}, researchr = {https://researchr.org/publication/Rosier86}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {22}, number = {1}, pages = {33-35}, }