A Note on Presburger Arithmetic with Array Segments, Permutation and Equality.

Louis E. Rosier A Note on Presburger Arithmetic with Array Segments, Permutation and Equality. 33-35 1986 22 Inf. Process. Lett. 1 db/journals/ipl/ipl22.html#Rosier86