Nascimento, Guilherme Augusto Anício Drummond do, Elton Máximo Cardoso, Samuel da Silva Feitosa, and Rodrigo Ribeiro.
" Strong Normalization for Well-Typed Parsing Expression Grammars." <em>Anais do XXX Simpósio Brasileiro de Linguagens de Programação,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.46-53.