Tsuyoshi Yukami, “A theorem on generalizations of proofs”, Arch Math Logic, 30:3 (1990), 139
Jean Neraud, “Elementariness of a finite set of words is co-NP-complete”, RAIRO-Theor. Inf. Appl., 24:5 (1990), 459
J. Richard Büchi, Steven Senger, The Collected Works of J. Richard Büchi, 1990, 665
Keith Wright, Colt Proceedings 1990, 1990, 111
Joxan Jaffar, “Minimal and complete word unification”, J. ACM, 37:1 (1990), 47
J. Richard Büchi, Steven Senger, The Collected Works of J. Richard Büchi, 1990, 671
A. Koscielski, L. Pacholski, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science, 1990, 824
Abdulrab H., Pecuchet J., “Solving Word Equations”, J. Symbolic Comput., 8:5 (1989), 499–521
Abdulrab H., “Equations in Words”, Lect. Notes Comput. Sci., 358 (1989), 508–520
Abdulrab H., Pecuchet J., “Solving Systems of Linear Diophantine Equations and Word Equations”, Lect. Notes Comput. Sci., 355 (1989), 530–532