Analyzing restricted fragments of the theory of linear arithmetic
scientific article; zbMATH DE number 6692040
scientific article