1. Decidability of the universal theory of natural numbers with addition and divisibility;Beltyukov Anatoly P.;Zapiski Nauchnyh Seminarov LOMI,1976
2. Bounds on positive integral solutions of linear Diophantine equations
3. On Decidability Within the Arithmetic of Addition and Divisibility
4. Patrick Cégielski and Denis Richard. 2013. In memoriam of Alan Robert Woods. In New Studies in Weak Arithmetics Lecture Notes 211 Patrick Cégielski Charalampos Cornaros and Costas Dimitracopoulos (Eds.). CSLI Publications Stanford 15--31. Patrick Cégielski and Denis Richard. 2013. In memoriam of Alan Robert Woods. In New Studies in Weak Arithmetics Lecture Notes 211 Patrick Cégielski Charalampos Cornaros and Costas Dimitracopoulos (Eds.). CSLI Publications Stanford 15--31.
5. A survival guide to presburger arithmetic