Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukáš Holík, Ahmed Rezine, Philipp Rümmer, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, 602
Pablo Barceló, Pablo Muñoz, “Graph Logics with Rational Relations”, ACM Trans. Comput. Logic, 18:2 (2017), 1
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukáš Holík, Ahmed Rezine, Philipp Rümmer, “Flatten and conquer: a framework for efficient analysis of string constraints”, SIGPLAN Not., 52:6 (2017), 602
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang, “Z3str2: an efficient solver for strings, regular expressions, and length constraints”, Form Methods Syst Des, 50:2-3 (2017), 249
В. Г. Дурнев, О. В. Зеткина, А. И. Зеткина, “Об уравнениях и неравенствах в словах и длинах”, Чебышевский сб., 17:2 (2016), 137–145
Szabo P., Siekmann J., Hoche M., “What Is Essential Unification?”, Martin Davis on Computability, Computational Logic, and Mathematical Foundations, Outstanding Contributions to Logic, 10, eds. Omodeo E., Policriti A., Springer International Publishing Ag, 2016, 285–314
Clark Barrett, Cesare Tinelli, Morgan Deters, Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Proceedings of the Symposium and Bootcamp on the Science of Security, 2016, 4
Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark Barrett, Morgan Deters, “An efficient SMT solver for string constraints”, Form Methods Syst Des, 48:3 (2016), 206
Mariam Beriashvili, Besik Dundua, Advances in Intelligent Systems and Computing, 453, Advanced Computational Methods for Knowledge Engineering, 2016, 115
Artur Jeż, “One-Variable Word Equations in Linear Time”, Algorithmica, 74:1 (2016), 1