@第{zbMATH07632080条，作者={Beeson、Michael和Bonacina、Maria Paola和Kinyon、Michael and Sutcliffe、Geoff}，标题={Larry{Wos}：自动化推理的愿景}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={66}，数字={4}，Pages＝{439-461}，年份={2022}，语言={英语}，DOI={10.1007/s10817-022-09620-8}，关键词={68-03,01A70,68V15}，zbMATH={7632080}，Zbl={1511.68005}}