Márcia Cerioli, Vitor Krauss, and Petrucio Viana. 2021.
 An Arithmetical-like Theory of Hereditarily Finite Sets. In <em>Anais do II Workshop Brasileiro de Lógica</em>, julho 18, 2021, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 17-24. DOI: <a href="https://doi.org/10.5753/wbl.2021.15774">https://doi.org/10.5753/wbl.2021.15774</a>.