盛英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型的巧妙组合。 （英文） Zbl 07606342号 J.汽车。推理 66，编号3，331-355（2022）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人，J.Autom。推理66，No.3，331--355（2022；Zbl 07606342） 全文： 内政部 arXiv公司 链接
玛丽亚·保拉（Maria Paola Bonacina）;圣菲省格拉汉·伦格兰德;Natarajan Shankar 理论组合的冲突驱动可满足性：引理、模块和证明。 （英文） Zbl 07498608号 J.汽车。推理 66，编号1，43-91（2022）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}等人，J.Autom。推理66，No.1，43--91（2022；Zbl 07498608） 全文： 内政部
马可·沃伊格特 带有未解释谓词的线性有理算术的一阶可判定片段。 （英文） Zbl 07356976号 J.汽车。推理 65，第3期，357-423（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Voigt}，J.Autom。推理65，No.3，357--423（2021；Zbl 07356976） 全文： 内政部
盛英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型理论的礼貌。 （英文） Zbl 07614516号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12166, 238-255 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人，Lect。注释计算。科学。12166，238--255（2020；Zbl 07614516） 全文： 内政部