| 1990 | Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation. | Johann Schumann, Reinhold Letz, Franz J. Kurfess |
| 1990 | PARTHEO: A High-Performance Parallel Theorem Prover. | Johann Schumann, Reinhold Letz |
| 1990 | EXPERT THINKER: An Adaptation of F-Prolog to Microcomputers. | Ronald W. Satz |
| 1990 | Retrieving Library Identifiers via Equational Matching of Types. | Mikael Rittri |
| 1990 | Term Rewriting Induction. | Uday S. Reddy |
| 1990 | Investigations into Proof-Search in a System of First-Order Dependent Function Types. | David J. Pym, Lincoln A. Wallen |
| 1990 | Tutorial on Computing Models of Propositional Logics. | Paul Pritchard, John K. Slaney |
| 1990 | OSCAR. | John L. Pollock |
| 1990 | Toward Mechanical Methods for Streamlining Proofs. | William Pierce |
| 1990 | Presenting Intuitive Deductions via Symmetric Simplification. | Frank Pfenning, Dan Nesmith |
| 1990 | Complete Sets of Reductions with Constraints. | Gerald E. Peterson |
| 1990 | Hyper Resolution and Equality Axioms without Function Substitutions. | Yusuf Ozturk, Lawrence J. Henschen |
| 1990 | Tutorial on Compilation techniques for Logics. | Hans Jrgen Ohlbach, Andreas Herzig |
| 1990 | Unification in Monoidal Theories. | Werner Nutt |
| 1990 | TRIP: An Implementation of Clausal Rewriting. | Robert Nieuwenhuis, Fernando Orejas, Albert Rubio |
| 1990 | A Complete Semantic Back Chaining Proof System. | Xumin Nie, David A. Plaisted |
| 1990 | Some Results on Equational Unification. | Paliath Narendran, Friedrich Otto |
| 1990 | DISSOLVER: A Dissolution-based Theorem Prover. | Neil V. Murray, Erik Rosenthal |
| 1990 | Tutorial on Reasoning and Representation with Concept Languages. | Jrgen Mller, Franz Baader, Bernhard Nebel, Werner Nutt, Gert Smolka |
| 1990 | SLIM: An Automated Reasoner For Equivalences, Applied To Set Theory. | Alan F. McMichael |
| 1990 | OTTER 2.0. | William McCune |
| 1990 | Ordered Rewriting and Confluence. | Ursula Martin, Tobias Nipkow |
| 1990 | Tutorial on High-Performance Automated Theorem Proving. | Ewing L. Lusk, William McCune |
| 1990 | ORME: An Implementation of Completion Procedures as Sets of Transition Rules. | Pierre Lescanne |
| 1990 | Substitution-based Compilation of Extended Rules in Deductive Databases. | Sang Ho Lee, Lawrence J. Henschen |