@第{zbMATH07121991条，作者={Baillot，Patrick and Barthe，Gilles and Dal Lago，Ugo}，标题={次递归定义的隐式计算复杂性和加密证明的应用}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={63}，数字={4}，页码={813--855}，年份={2019}，语言={英语}，DOI={10.1007/s10817-019-09530-2}，关键词={68N18,03F52,68Q25,94A60}，zbMATH={7121991}，Zbl={1468.68057}}