L. Maliaukienė, “The provability of some weak forms of the induction axiom”, LMR, vol. 40, no. spec., pp. 265–269 , Dec. 2000, doi: 10.15388/LMR.2000.35146.