Albert Rubio, Lecture Notes in Computer Science, 1092, Computer Science Logic, 1996, 452
Sabrina Mantaci, Antonio Restivo, Lecture Notes in Computer Science, 1113, Mathematical Foundations of Computer Science 1996, 1996, 443
Friedrich Otto, “Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general”, Information Processing Letters, 53:5 (1995), 237
P. K. Suetin, B. I. Golubov, A. F. Leont'ev, M. I. Voǐtsekhovskiǐ, S. A. Aǐvazyan, A. Shtern, L. V. Kuz'min, A. A. Sapozhenko, K. A. Borovkov, M. S. Nikulin, V. P. Maslov, P. S. Modenov, A. I. Shtern, A. G. Dragalin, Vik. S. Kulikov, V. I. Nechaev, E. P. Dolzhenko, E. D. Solomentsev, T. P. Lukashenko, Yu. N. Subbotin, L. D. Ivanov, A. V. Arkhangel'skiǐ, V. I. Ponomarev, E. B. Vinberg, S. A. Telyakovskiǐ, I. I. Volkov, S. N. Smirnov, A. V. Tolstikov, S. A. Stepanov, V. M. Babich, D. D. Sokolov, L. D. Kudryavtsev, D. N. Zubarev, I. V. Proskuryakov, R. A. Minlos, Yu. P. Ivanilov, V. V. Okhrimenko, N. N. Vorob'ev, B. A. Pasynkov, M. Sh. Tsalenko, A. D. Kuz'min, B. L. Laptev, V. S. Malakhovskiǐ, V. I. Malykhin, T. S. Fofanova, A. L. Onishchik, V. E. Plisko, V. N. Latyshev, A. I. Kostrikin, I. V. Dolgachev, Yu. I. Yanov, Yu. I. Merzlyakov, O. A. Ivanova, A. N. Parshin, S. N. Artemov, G. S. Asanov, A. D. Aleksandrov, V. N. Berestovsk, Encyclopaedia of Mathematics, 1995, 549
Friedrich Otto, Paliath Narendran, Daniel J. Dougherty, Lecture Notes in Computer Science, 914, Rewriting Techniques and Applications, 1995, 367
Klaus U. Schulz, Lecture Notes in Computer Science, 933, Computer Science Logic, 1995, 294
J JAFFAR, “Constraint logic programming: a survey”, The Journal of Logic Programming, 19-20 (1994), 503
Arcot Rajasekar, Lecture Notes in Computer Science, 874, Principles and Practice of Constraint Programming, 1994, 109
Wojciech Plandowski, Lecture Notes in Computer Science, 855, Algorithms — ESA '94, 1994, 460
E. K. Burke, “Unification in partially commutative semigroups”, J Autom Reasoning, 12:2 (1994), 209