В. Г. Дурнев, О. В. Зеткина, “Об уравнениях с подполугрупповыми ограничениями на решения в свободных полугруппах”, Чебышевский сб., 11:3 (2010), 78–87
Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger, Hagenberg Research, 2010, 63
Philippe Suter, Mirco Dotta, Viktor Kuncak, “Decision procedures for algebraic data types with abstractions”, SIGPLAN Not., 45:1 (2010), 199
Philippe Suter, Mirco Dotta, Viktor Kuncak, Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2010, 199
Francine Blanchet-Sadri, D. Dakota Blair, Rebeca V. Lewis, “Equations on partial words”, Theoret Informatics Appl, 43:1 (2009), 23
Jordi Levy, Mateu Villaret, “Simplifying the signature in second-order unification”, AAECC, 2009
Kudinov O.V., Selivanov V.L., “Definability in the Infix Order on Words”, Developments in Language Theory, Proceedings, Lecture Notes in Computer Science, 5583, eds. Diekert V., Nowotka D., Springer-Verlag Berlin, 2009, 454–465
Aleksi Saarela, Lecture Notes in Computer Science, 5583, Developments in Language Theory, 2009, 443
Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret, “The Complexity of Monadic Second-Order Unification”, SIAM J Comput, 38:3 (2008), 1113
В. Г. Дурнев, О. В. Зеткина, “Об уравнениях с ограничениями на решения в свободных полугруппах”, Исследования по конструктивной математике и математической логике. XI, Зап. научн. сем. ПОМИ, 358, ПОМИ, СПб., 2008, 120–129 ; V. G. Durnev, O. V. Zetkina, “On equations in free semigroups with certain constraints on their solutions”, J. Math. Sci. (N. Y.), 158:5 (2009), 671–676