"On Decidability Within the Arithmetic of Addition and Divisibility."

Marius Bozga, Radu Iosif (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics