On Decidability Within the Arithmetic of Addition and Divisibility.

Marius Bozga, Radu Iosif

Browse the full FOSSACS paper archive.