约翰内斯·马蒂;维尼马，伊德 无交互微积分的聚焦系统。 （英文） Zbl 07532527号 Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12842, 371-388 (2021).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Marti}和\textit{Y.Venema}，莱克特。注释计算。科学。12842、371--388（2021；Zbl 07532527） 全文： 内政部
阿尔贝托·格里乔;马可·罗维里;斯特凡诺·托内塔 基于SAT的模型检查的认证证明。 （英文） Zbl 1522.68319号 形式方法系统。设计。 57，编号2，178-210（2021）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio}等人，《形式方法系统》。设计。57，编号2，178--210（2021；Zbl 1522.68319） 全文： 内政部 链接
科恩、利隆 归纳法和共归纳法的非资金扣除。 （英文） Zbl 07437069号 AndréPlatzer等人，《自动扣除——CADE 28》。第28届自动扣款国际会议，虚拟活动，2021年7月12-15日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12699, 3-24 (2021).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}，莱克特。注释计算。科学。12699，3--24（2021；Zbl 07437069） 全文： 内政部