@inproceedings{BI05,
title = {On Decidability Within the Arithmetic of Addition and Divisibility },
author = {Bozga, Marius and Iosif, Radu},
year = {2005},
booktitle = {Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005,},
pages = {425-439},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3441},
team = {DCS,PACSS},
}
