Klaus U. Schulz, “Word unification and transformation of generalized equations”, J Automated Reasoning, 11:2 (1993), 149
J. Karhumäki, “Equations over finite sets of words and equivalence problems in automata theory”, Theoretical Computer Science, 108:1 (1993), 103
Franz Baader, Klaus U. Schulz, Lecture Notes in Computer Science, 677, Word Equations and Related Topics, 1993, 23
Peter Auer, Lecture Notes in Computer Science, 677, Word Equations and Related Topics, 1993, 103
Klaus U. Schulz, Lecture Notes in Computer Science, 677, Word Equations and Related Topics, 1993, 150
Evelyne Contejean, Lecture Notes in Computer Science, 700, Automata, Languages and Programming, 1993, 621
Abdulrab H., “Implementation of Makanin Algorithm”, Lect. Notes Comput. Sci., 572 (1992), 61–84
Akihiko Ohsuga, Kô Sakai, Lecture Notes in Computer Science, 572, Word Equations and Related Topics, 1992, 197
Sebastian Seibert, Lecture Notes in Computer Science, 626, Computer Science Logic, 1992, 329
Alexander Bockmayr, Lecture Notes in Computer Science, 572, Word Equations and Related Topics, 1992, 171