RAMOS, Marcus V M; ALMEIDA, José Carlos Bacelar; MOREIRA, Nelma; DE QUEIROZ, Ruy José Guerra Barretto. Formalization of the pumping lemma for context-free languages. Journal of Formalized Reasoning, [S. l.], v. 9, n. 2, p. 53–68, 2016. DOI: 10.6092/issn.1972-5787/5595. Disponível em: https://jfr.unibo.it/article/view/5595. Acesso em: 21 nov. 2024.