Presburger arithmetic with threshold counting quantifiers is easy | Publicación