| 1990 | Tutorial on Equational Unification. | Claude Kirchner |
| 1990 | RCL: A Lisp Verification System. | Matt Kaufmann |
| 1990 | The Theorem Prover of the Program Verifier Tatzelwurm. | Thomas Kufl, Nicolas Zabel |
| 1990 | Computing Prime Implicants. | Peter Jackson, John Pais |
| 1990 | Guiding Induction Proofs. | Dieter Hutter |
| 1990 | Tutorial on Rewrite-Based Theorem Proving. | Jieh Hsiang, Jean-Pierre Jouannaud |
| 1990 | Str+ve-Subset: The Str+ve-based Subset Prover. | Larry M. Hines |
| 1990 | Tactical Theorem Proving in Program Verification. | Maritta Heisel, Wolfgang Reif, Werner Stephan |
| 1990 | Programming by Example and Proving by Example Using Higher-order Unification. | Masami Hagiya |
| 1990 | UNICOM: A Refined Completion Based Inductive Theorem Prover. | Bernhard Gramlich |
| 1990 | Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language. | Amy P. Felty, Dale Miller |
| 1990 | Tutorial on Lambda-Prolog. | Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning |
| 1990 | IMPS: An Interactive Mathematical Proof System. | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
| 1990 | The Romulus Proof Checker. | Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger |
| 1990 | An Improved General E-Unification Method. | Daniel J. Dougherty, Patricia Johann |
| 1990 | Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. | Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian |
| 1990 | Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. | Shang-Ching Chou, Xiao-Shan Gao |
| 1990 | A High-Performance Parallel Theorem Prover. | Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek |
| 1990 | A Resolution Principle for Clauses with Constraints. | Hans-Jrgen Brckert |
| 1990 | Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. | Alan Bundy, Frank van Harmelen, Alan Smaill, Andrew Ireland |
| 1990 | The Oyster-Clam System. | Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill |
| 1990 | A Science of Reasoning: Extended Abstract. | Alan Bundy |
| 1990 | Cylindric Algebra Equation Solver. | Frank M. Brown, Carlos Araya |
| 1990 | Schemata. | Frank M. Brown, Carlos Araya |
| 1990 | A Theorem Prover for a Computational Logic. | Robert S. Boyer, J Strother Moore |