On deciding linear arithmetic constraints over $p$-adic integers for all primes

Publication
Mathematical Foundations of Computer Science, MFCS