Mari Huova, Juhani Karhumäki, Lecture Notes in Computer Science, 7300, Languages Alive, 2012, 99
Thomas Wies, Marco Muñiz, Viktor Kuncak, Lecture Notes in Computer Science, 7152, Verified Software: Theories, Tools, Experiments, 2012, 66
Juhani Karhumäki, Aleksi Saarela, “On maximal chains of systems of word equations”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Труды МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 130–136 ; Proc. Steklov Inst. Math., 274 (2011), 116–123
Casals-Ruiz M., Kazachkov I., “On Systems of Equations Over Free Partially Commutative Groups”, Mem. Am. Math. Soc., 212:999 (2011), 1+
Casals-Ruiz M., Kazachkov I.V., “On Systems of Equations Over Free Products of Groups”, J. Algebra, 333:1 (2011), 368–426
Klima O., Polak L., “Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups”, Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement, Lecture Notes in Computer Science, 7020, eds. Kuich W., Rahonis G., Springer-Verlag Berlin, 2011, 214–227
J. Levy, M. Schmidt-Schauss, M. Villaret, “On the complexity of Bounded Second-Order Unification and Stratified Context Unification”, Logic Journal of the IGPL, 2010
Temur Kutsia, Jordi Levy, Mateu Villaret, “On the relation between Context and Sequence Unification”, Journal of Symbolic Computation, 45:1 (2010), 74
Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari, “Context unification with one context variable”, Journal of Symbolic Computation, 45:2 (2010), 173
Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau, “Anti-patterns for rule-based languages”, Journal of Symbolic Computation, 45:5 (2010), 523