塞尔达尔·埃尔巴图尔；安德鲁·马歇尔。；克里斯托夫·林盖森 终止非分离组合统一。 （英语） 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公司：第68季度第42季度 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，Wrocław，波兰，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9322, 291-306 (2015).MSC公司：第68季度第42季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，Lect。票据计算。科学。9322、291--306（2015；Zbl 1471.68108） 全文： 内政部 哈尔