@第{zbMATH06680829条，作者={Stratulat，Sorin}，标题={基于机械验证公式的{诺以太}归纳推理}，FJournal={符号计算杂志}，日志={J.Symb.Comput.}，ISSN={0747-7171}，体积={80}，页码={209--249}，年份={2017年}，语言={英语}，DOI={10.1016/j.jsc.2016.07.014}，关键词={68T15,03B35}，zbMATH={6680829}，Zbl={1356.68202}}