@第{zbMATH04187115条，作者={Courcelle，B.和Deransart，P.}，Title={属性文法的部分正确性证明，以及递归过程和逻辑编程的应用}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={78}，数字={1}，页码={1--55}，年份={1988年}，语言={英语}，DOI={10.1016/0890-5401（88）90002-8}，关键词={68Q42}，zbMATH={4187115}，Zbl={0719.68038}}