盛英;尤尼·佐哈尔;克里斯托夫·林盖森;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 结合了稳定的无限性和（强烈的）礼貌。 （英语） 兹伯利0775653 J.汽车。推理 67，第4期，第34号论文，22页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人，J.Autom。推理67，第4号，论文34，22页（2023；Zbl 07753653） 全文： 内政部
盛英;尤尼·佐哈尔;克里斯托夫·林盖森;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 礼貌和稳定的不定式：一起更强。 （英语） 兹比尔07437077 Platzer，André（编辑）等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 148-165 (2021).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Sheng｝等人，Lect。注释计算。科学。12699、148--165（2021；Zbl 07437077） 全文： 内政部 arXiv公司 OA许可证