Quantifier Elimination Steps for Presburger Arithmetic

05-02, CS-550 Formal Verification