Cerioli, Márcia, Vitor Krauss, and Petrucio Viana.
"An Arithmetical-like Theory of Hereditarily Finite Sets." <em>Anais do II Workshop Brasileiro de Lógica,
Evento Online, 2021</em>. SBC, 2021,  
pp.17-24.