@第{zbMATH06261386条，作者={Giunti，Marco}，Title={使用名称匹配和会话类型检查像素的算法类型}，FJournal={逻辑与代数编程杂志}，日志={J.Log.Algebr.Program.}，ISSN={1567-8326}，体积={82}，数字={8}，页码={263--281}，年份={2013}，语言={英语}，DOI={10.1016/j.jlap.2013.05.003}，关键词={68N30,68Q85}，zbMATH={6261386}，Zbl={1283.68127}}