塞尔达尔·埃尔巴图尔;安德鲁·马歇尔。;克里斯托夫·林盖森 终止非分离组合统一。 （英语） 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） 全文： 内政部 哈尔
阿杰·库马尔·埃拉拉;克里斯托弗·林奇 有边界的ACh统一。 （英语） Zbl 1495.68111号 数学。结构。计算。科学。 30，第6号，664-682（2020）。MSC公司：2012年第68季度 03B35型 68伏15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Eeralla}和\textit{C.Lynch}，数学。结构。计算。科学。30，编号：664-682（2020；兹bl 1495.68111） 全文： 内政部 arXiv公司