@杂项{zbMATH07632079，六十年的自动推理：纪念{Larry}{Wos}的论文。{前言}}，ISSN={0168-7433}，年份={2022}，语言={英语}，HowPublished={J.{Autom}。{推理}66，{否}。4, 437-438 (2022).},DOI={10.1007/s10817-022-09637-z}，关键词={68-06,01A70,68-03,68V15,00B15}，作者={博纳西纳，玛丽亚·保拉}，zbMATH={7632079}，Zbl={1511.68010}}