BibTeX Export

@article{Authenticus:P-00G-T04,
	title = {{Formalization of the Pumping Lemma for Context-Free Languages}},
	author = {MarcusViniciusMidena Ramos and RuyJ.G.B.de Queiroz and Nelma Moreira and JoseCarlosBacelar Almeida},
	doi = {10.6092/issn.1972-5787/5595},
	journal = {Journal of Formalized Reasoning},
	number = {2},
	pages = {53-68},
	publisher = {Univ Studi Bologna, Almadl Journals},
	type = {Article},
	volume = {9},
	year = {2016}
}