Effective Quantifier Elimination for Presburger Arithmetic with Infinity.

Aless Lasaruk, Thomas Sturm

Browse the full CASC paper archive.