Solving quantified linear arithmetic by counterexample-guided instantiation
scientific article; zbMATH DE number 6823093
scientific article