盛英;尤尼·佐哈尔;克里斯托弗·林盖森;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 结合了稳定的无限性和（强烈的）礼貌。 （英语） Zbl 07753653号 J.汽车。推理 67，第4期，第34号论文，22页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人，J.Autom。推理67，第4号，论文34，22页（2023；Zbl 07753653） 全文： 内政部
盛英;安德烈斯·诺兹利;安德鲁·雷诺兹;尤尼·佐哈尔;大卫·迪尔;沃尔夫冈·格里斯坎普;Park，Junkil公园;沙兹·卡迪尔;克拉克·巴雷特;塞萨尔·蒂内利 关于向量的推理：序列理论的可满足模。 （英语） Zbl 07753651号 J.汽车。推理 67，第3号，第32号论文，第34页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人，J.Autom。推理67，第3号，论文32，34页（2023；Zbl 07753651） 全文： 内政部
盛英;安德烈斯·诺兹利;安德鲁·雷诺兹;尤尼·佐哈尔;大卫·迪尔;沃尔夫冈·格里斯坎普;Park，Junkil公园;沙兹·卡迪尔;克拉克·巴雷特;塞萨尔·蒂内利 使用SMT序列理论推理向量。 （英语） Zbl 07628185号 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第13385125-143页（2022）。MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人，Lect。注释计算。科学。13385，125-143（2022；Zbl 07628185） 全文： 内政部 arXiv公司
盛英;尤尼·佐哈尔;克里斯托弗·林盖森;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 礼貌与稳定无限：共同坚强。 （英语） Zbl 07437077号 AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699148-165（2021年）。MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人，Lect。注释计算。科学。12699、148--165（2021；Zbl 07437077） 全文： 内政部 arXiv公司