玛丽亚·阿尔普特;黛米斯·巴利斯;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 基于变量的方程反统一。 （英语） Zbl 1522.68251号 Alicia Villanueva（编辑），基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13474, 44-60 (2022).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，Lect。注释计算。科学。13474，44-60（2022；Zbl 1522.68251） 全文： 内政部
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞格尔;朱莉娅·萨皮娜 重温了有序等式推广算法。 （英语） 兹伯利07517439 安。数学。Artif公司。智力。 90，第5期，499-522（2022）.MSC公司：68N17号 68甲18 2012年第68季度 60年第68季度 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《数学年鉴》。Artif公司。智力。90，第5号，499--522（2022；Zbl 07517439） 全文： 内政部 链接