| 1990 | A Decidable Fragment of the Elementary Theory of Relations and Some Applications. | Domenico Cantone, Vincenzo Cutello |
| 1990 | A Parallelization of the Buchberger Algorithm. | Russell J. Bradford |
| 1990 | Parallel Polynomial Computations by Recursive Processes. | Dario Bini, Victor Y. Pan |
| 1990 | An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract). | Mounira Belmesk |
| 1990 | A Strong Problem Reduction Method Based on Function Introduction. | Matthias Baaz, Alexander Leitsch |
| 1990 | The Algorithm for Calculating Integrals of Hypergeometric Type Functions and Its Realization in REDUCE System. | Victor Adamchik, O. I. Marichev |
| 1990 | Normal Forms in Function Fields. | Karl Aberer |
| 1989 | Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis. | Franz Winkler |
| 1989 | GENCRAY: A Portable Code Generator for Cray Fortran. | Sanjiva Weerawarana, Paul S. Wang |
| 1989 | Resolvents and Symmetric Functions. | Annick Valibouze |
| 1989 | Experimenting the Grbner Basis Algorithm with the A1P | Carlo Traverso, L. Donati |
| 1989 | A new Modular Algorithm for Computation of Algebraic Number Polynomial Gcds. | Trevor J. Smedley |
| 1989 | Parallel Algorithms for Hermite Normal Form of an Integer Matrix. | Franoise Siebert-Roch |
| 1989 | A Differential-Equations Approach to Functional Equivalence. | J. Shackle |
| 1989 | A Factorization Algorithm for Linear Ordinary Differential Equations. | Fritz Schwarz |
| 1989 | A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm. | B. David Saunders, Hong R. Lee, S. Kamal Abdali |
| 1989 | Symbolic Summation with Generating Functions. | R. A. Ravenscroft Jr., Edmund A. Lamagna |
| 1989 | On the Computer Solution of Symmetric Homogeneous Triangle Inequalities. | S. Rabinowitz |
| 1989 | MINION: An Environment to Organize Mathematical Problem Solving. | James M. Purtilo |
| 1989 | Dense Representation of Affine Coordinate Rings of Curves with One Point at Infinity. | S. C. Porter |
| 1989 | On Some Computations with Dense Structured Matrices. | Victor Y. Pan |
| 1989 | Inversibility of Rational Mappings and Structural Identifiability in Automatics. | Franois Ollivier |
| 1989 | Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System. | Mitsuhiro Okada |
| 1989 | Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics. | Peter W. O'Hearn, Zbigniew Stachniak |
| 1989 | Employing Path Dissolution to Shorten Tableaux Proofs. | Neil V. Murray, Erik Rosenthal |