On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes | Publicación