Presburger arithmetic with array segments
scientific article; zbMATH DE number 3743220