@第{zbMATH07106512条，作者={Ramos、Marcus V.M.和Almeida、Jos{'e}Carlos Bacelar和Moreira、Nelma和De Queiroz、Ruy Jos{e}Guerra Barretto}，Title={无上下文语言泵引理的形式化}，FJournal={形式化推理杂志}，日志={J.Formaliz.Reason.}，ISSN={1972-5787}，体积={9}，数字={2}，页码={53--68}，年份={2016年}，语言={英语}，DOI={10.6092/issn.1972-5787/5595}，关键词={68Q45.68V20}，zbMATH={7106512}，Zbl={1451.68160}}