塞尔达，埃尔巴图尔；安德鲁·马歇尔。；克里斯托夫·林盖森 非双联通过等式副调制将统一和闭合结合在一起。 （英语） Zbl 07497914号 Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 25-42 (2021).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，Lect。注释计算。科学。12941，25-42（2021；Zbl 07497914） 全文： 内政部 哈尔
塞尔达，埃尔巴图尔；安德鲁·马歇尔。；克里斯托夫·林盖森 终止非分离组合统一。 （英语） Zbl 07496644号 Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 113-130 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，Lect。注释计算。科学。12561、113--130（2021；Zbl 07496644） 全文： 内政部 哈尔
塞尔达，埃尔巴图尔；安德鲁·马歇尔。；克里斯托夫·林盖森 计算子形式收敛理论方程扩展的知识。 （英语） Zbl 1495.68113号 数学。结构。计算。科学。 30，第6号，683-709（2020）.MSC公司：2012年第68季度 68平方米25 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，《数学》。结构。计算。科学。30，第6号，683--709（2020；Zbl 1495.68113） 全文： 内政部
塞尔达，埃尔巴图尔；迪帕克·卡普尔；安德鲁·马歇尔。；巴利亚特·纳伦德兰；克里斯托夫·林盖森 句法理论层次组合中的统一与匹配。 （英语） Zbl 1471.68108号 Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，波兰弗罗茨瓦夫，2015年9月21-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 291-306 (2015).MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，Lect。注释计算。科学。9322、291--306（2015；Zbl 1471.68108） 全文： 内政部 哈尔
塞萨尔·蒂内利；克里斯托夫·林盖森 非不相交理论的结合和可满足性过程的组合。 （英语） 兹伯利1018.68033 西奥。计算。科学。 290，第1期，291-353（2003）.MSC公司：65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tinelli}和\textit{C.Ringeissen}，Theor。计算。科学。290，第1号，291--353（2003；Zbl 1018.68033） 全文： 内政部