朱莉·凯勒;约翰·罗辛;大卫·德拉哈耶;西蒙·罗比拉德;布齐安·欣德·莉莉亚 戈埃兰：一个基于并发表的定理证明器（系统描述）。 （英语） 兹伯利07628198 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 359-368 (2022).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Cailler}等人，Lect。注释计算。科学。13385，359--368（2022；Zbl 07628198） 全文： 内政部
曹、冯;徐，杨;刘军;陈树伟;易建兵 基于标准矛盾分离规则的多条款动态演绎算法。 （英语） Zbl 1527.68257号 信息科学。 566, 281-299 (2021).MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Cao}等人，《信息科学》。566281--299（2021年；Zbl 1527.68257） 全文： 内政部 链接
马克西米利亚诺·克里斯蒂亚;Gianfranco罗西 限制内涵集的自动推理。 （英语） Zbl 07432188号 J.汽车。推理 65，第6号，809-890（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi}，J.Autom。推理65，No.6，809--890（2021；Zbl 07432188） 全文： 内政部 arXiv公司