迈克尔·比森;玛丽亚·保拉（Maria Paola Bonacina）;迈克尔·基扬;杰夫·萨特克利夫 拉里·沃斯：自动化推理的愿景。 （英语） Zbl 1511.68005号 J.汽车。推理 66，第4期，439-461（2022）.理学硕士：68-03 01A70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}等人，J.Autom。推理66，No.4，439--461（2022；Zbl 1511.68005） 全文： 内政部
伊内斯·希波利托;莱因哈德·卡勒 讨论希尔伯特的第24个问题。 （英语） Zbl 1441.03006号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180040，10 p.（2019）. 审核人：维克托·潘布奇（格伦代尔） 理学硕士：03-03 01A60型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{I.Hipolito}和\textit{R.Kahle}，Philos。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，No.2140，文章ID 20180040，10 p.（2019；Zbl 1441.03006） 全文： 内政部
沃斯，拉里 一位伟大研究者的遗产。 （英语） Zbl 1383.68004号 Bonacina，Maria Paola（编辑）等人，《自动推理和数学》。纪念威廉·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。人工智能课堂讲稿，1-14（2013）。理学硕士：68-03 01A70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Wos}，莱克特。注释计算。科学。7788，1-14（2013；Zbl 1383.68004） 全文： 内政部