Eugen E. Ardeleanu. Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence. In Jacques Calmet, John A. Campbell, editors, Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings. Volume 737 of Lecture Notes in Computer Science, pages 178-187, Springer, 1992.
Abstract is missing.