Besik Dundua;特默尔库西亚;米哈伊尔·鲁卡亚 未分级的名义统一。 （英语） Zbl 1530.68132号 奥兹根、艾布克（编辑）等人，《语言、逻辑和计算》。第十三届第比利斯国际研讨会，2019年TbiLLC，格鲁吉亚巴统，2019月16-20日。修订了选定的论文。查姆：施普林格。莱克特。注释计算。科学。13206, 279-296 (2022).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dundua}等人，Lect。注释计算。科学。13206279--296（2022年；Zbl 1530.68132） 全文： 内政部
Besik Dundua;特默尔库西亚;马林·米尔恰 关联和交换理论中的变量方程匹配。 （英语） Zbl 07354268号 J.塞姆。计算。 106, 78-109 (2021).MSC公司：68瓦30 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Dundua}等人，J.Symb。计算。106、78——109（2021；Zbl 07354268） 全文： 内政部 OA许可证