玛丽亚姆·贝里亚什维利；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） 全文： 内政部
特默尔库西亚；约尔迪·利维；马图·维拉雷特 论语境与序列统一的关系。 （英语） Zbl 1194.68224号 J.塞姆。计算。 45，第1期，74-95（2010）.MSC公司：68立方英尺 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}等人，J.Symb。计算。45，第1号，74--95（2010；Zbl 1194.68224） 全文： 内政部
特默尔库西亚 平面匹配。 （英语） Zbl 1152.68059号 J.塞姆。计算。 43，第12号，858-873（2008）.MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.库西亚}，J.塞姆。计算。43，编号128588-873（2008年；兹bl 1152.68059） 全文： 内政部
横山，铁雄；胡镇江；Masato Takeichi 确定性二阶模式。 （英语） Zbl 1178.68140号 信息处理。莱特。 89，第6号，309-314（2004）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.Yokoyama}等人，《Inf.过程》。莱特。89，第6号，309--314（2004；Zbl 1178.68140） 全文： 内政部