Nascimento, Guilherme Augusto Anício Drummond do, 		Cardoso, Elton Máximo, 		Feitosa, Samuel da Silva, E 		Ribeiro, Rodrigo.
" Strong Normalization for Well-Typed Parsing Expression Grammars" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (8 setembro 2026)