@phdthesis{regina2023formalizacao ,
 title= {Formalização em Redex de uma Abordagem Baseada em Tipo Para Terminação de PEG},
 author= {REGINA SARAH MONFERRARI AMORIM DE PAULA},
 year= {2023},
 note = {Available at  http://monografias.ice.ufjf.br/tcc-web/tcc?id=813},
 school= {Federal University of Juiz de Fora},
 key = {PAULA,2023}
}