M. Cerioli, V. Krauss, and P. Viana.
"An Arithmetical-like Theory of Hereditarily Finite Sets", in <em>Anais do II Workshop Brasileiro de Lógica</em>, Evento Online, 2021, pp. 17-24, doi: <a href="https://doi.org/10.5753/wbl.2021.15774">https://doi.org/10.5753/wbl.2021.15774</a>.