Rybakov V., “Equations in Free Closure Algebra and the Substitution Problem”, 287, no. 3, 1986, 554–557
Jon Barwise, Solomon Feferman, David Israel, “Meeting of the Association for Symbolic Logic, Stanford, California, 1985”, J. symb. log, 51:03 (1986), 832
Keijo Ruohonen, The Book of L, 1986, 393
Regina Llopis de Trias, Lecture Notes in Computer Science, 204, EUROCAL '85, 1985, 424
Stefan Arnborg, Erik Tidén, Lecture Notes in Computer Science, 202, Rewriting Techniques and Applications, 1985, 398
А. А. Разборов, “О системах уравнений в свободной группе”, Изв. АН СССР. Сер. матем., 48:4 (1984), 779–832 ; A. A. Razborov, “On systems of equations in a free group”, Math. USSR-Izv., 25:1 (1985), 115–162
J.P Pecuchet, “Solutions principales et rang d'un système d'équations avec constantes dans le monoïde libre”, Discrete Mathematics, 48:2-3 (1984), 253
Jörg H. Siekmann, Lecture Notes in Computer Science, 170, 7th International Conference on Automated Deduction, 1984, 1
François Fages, Lecture Notes in Computer Science, 170, 7th International Conference on Automated Deduction, 1984, 194
K.N. Venkataraman, Ann Yasuhara, Frank M. Hawrusik, “A view of computability on term algebras”, Journal of Computer and System Sciences, 26:3 (1983), 410