FERREIRA, F.; FERREIRA, G. Elementary Proof of Strong Normalization for Atomic F. Bulletin of the Section of Logic, [S. l.], v. 45, n. 1, p. 1–15, 2016. DOI: 10.18778/0138-0680.45.1.01. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/1474. Acesso em: 2 may. 2024.