Nascimento, G., 		Cardoso, E., 		Feitosa, S., & 		Ribeiro, R.
(2026).
 Strong Normalization for Well-Typed Parsing Expression Grammars.
In <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 46-53). Porto Alegre: SBC.
doi:10.5753/sblp.2026.27720