The rule of induction in the three variable arithmetic based on $+$ and $-$

Shepherdson, J. C.

Annales de la faculté des sciences de l'université de Clermont. Mathématiques, Volume 35 (1967) p. 25-31