Maliaukienė, L. . About the Equivalent Replaceability of the Double Induction Axiom. LMR 2009, 50 (proc. LMS), 253–257. https://doi.org/10.15388/LMR.2009.45.