Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic.

Amine Chaieb, Tobias Nipkow

Browse the full LPAR paper archive.