Effective Quantifier Elimination for Presburger Arithmetic with Infinity | Publicación