Maliaukienė, L. The Provability of Some Weak Forms of the Induction Axiom. LMR 2000, 40 (spec.), 265–269 . https://doi.org/10.15388/LMR.2000.35146.