Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin, Lecture Notes in Computer Science, 11275, Programming Languages and Systems, 2018, 89
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott, Lecture Notes in Computer Science, 11152, Rewriting Logic and Its Applications, 2018, 98
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