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） 全文： DOI程序
Besik Dundua;特默尔库西亚;马林·米尔恰 关联和交换理论中的变量方程匹配。 （英语） Zbl 07354268号 J.塞姆。计算。 106, 78-109 (2021).MSC公司：68伏15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{B.Dundua}等人，J.Symb。计算。106、78——109（2021；Zbl 07354268） 全文： DOI程序
Besik Dundua;马里奥弗洛里多;特默尔库西亚;马林·米尔恰 CLP（\（\mathsf｛H｝\））：用于对冲的约束逻辑编程。 （英语） Zbl 1379.68057号 理论实践。日志。程序。 16，第2期，141-162（2016）.MSC公司：第68页第17页 68问题55 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛B.Dundua｝等人，《理论与实践》。日志。程序。16，第2号，141--162（2016；Zbl 1379.68057） 全文： DOI程序 arXiv公司
玛丽亚姆·贝里亚什维利;Besik Dundua 序列和上下文上的表达式的约束求解器。 （英语） Zbl 1353.68248号 Nguyen，Thanh Binh（编辑）等人，《知识工程的高级计算方法》。第四届计算机科学、应用数学和应用国际会议论文集，2016年5月2日至3日，奥地利维也纳。Cham:Springer（ISBN 978-3-319-38883-0/pbk；978-3-3169-38884-7/ebook）。《智能系统与计算进展》453115-127（2016）。MSC公司：68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Beriashvili}和\textit{B.Dundua}，高级情报。系统。计算。453115--127（2016；Zbl 1353.68248） 全文： DOI程序
特默尔库西亚;马林·米尔恰 正则表达式顺序排序的统一和匹配。 （英语） Zbl 1456.68073号 J.塞姆。计算。 67, 42-67 (2015).MSC公司：2012年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}和\textit{M.Marin}，J.Symb。计算。67、42-67（2015年；Zbl 1456.68073） 全文： DOI程序
特默尔库西亚;Levy，乔迪;马图·维拉雷特 未分类条款和对冲的反统一。 （英语） Zbl 1331.68122号 J.汽车。推理 52，第2期，155-190（2014）.MSC公司：2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}等人，J.Autom。推理52，No.2，155--190（2014；Zbl 1331.68122） 全文： DOI程序
霍雷修·西尔斯泰;克洛德·基什内尔;拉杜·科佩茨;皮埃尔·埃蒂安·莫罗 基于规则的语言的反模式。 （英语） Zbl 1192.68563号 J.塞姆。计算。 45，第5期，523-550（2010）.MSC公司：68吨10 PDF格式BibTeX公司 XML格式引用 \textit{H.Cirstea}等人，J.Symb。计算。45，第5号，523--550（2010；Zbl 1192.68563） 全文： DOI程序
特默尔库西亚;Levy，乔迪;马图·维拉雷特 论语境与序列统一的关系。 （英语） Zbl 1194.68224号 J.塞姆。计算。 45，第1期，74-95（2010）.MSC公司：68立方英尺 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}等人，J.Symb。计算。45，第1号，74--95（2010；Zbl 1194.68224） 全文： DOI程序
Levy，乔迪;马图·维拉雷特 在二阶统一中简化签名。 （英语） Zbl 1196.68113号 申请。代数工程通讯。计算。 20，编号5-6，427-445（2009）. 审核人：马可·加博瓦迪（博洛尼亚） MSC公司：2012年第68季度 03年11月15日 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}和\textit{M.Villaret}，应用。代数工程通讯。计算。20，编号5--6427--445（2009；Zbl 1196.68113） 全文： DOI程序