Cerioli, M., 		Krauss, V., & 		Viana, P.
(2021).
An Arithmetical-like Theory of Hereditarily Finite Sets.
In <em>Anais do II Workshop Brasileiro de Lógica</em>, (pp. 17-24). Porto Alegre: SBC.
doi:10.5753/wbl.2021.15774