@article{ASCFM_1967__35_4_25_0,
     author = {Shepherdson, J. C.},
     title = {The rule of induction in the three variable arithmetic based on $+$ and $-$},
     journal = {Annales de la facult\'e des sciences de l'universit\'e de Clermont. Math\'ematiques},
     pages = {25--31},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {35},
     number = {4},
     year = {1967},
     mrnumber = {276089},
     language = {en},
     url = {http://www.numdam.org/item/ASCFM_1967__35_4_25_0/}
}