- Bruno Buchberger: History and Basic Features of the Critical-Pair/Completion Procedure. 3-38
- Ronald V. Book: Thue Systems as Rewriting Systems. 39-68
- Nachum Dershowitz: Termination of Rewriting. 69-116 , Corrigendum: JSC 4(3): 409-410 (1987)
- Michaël Rusinowitch: Path of Subterms Ordering and Recursive Decomposition Ordering Revisited. 117-131
- Jieh Hsiang: Rewrite Method for Theorem Proving in First Order Theory with Equality. 133-151
- Katherine A. Yelick: Unification in Combinations of Collapse-Free Regular Theories. 153-181
- Erik Tidén, Stefan Arnborg: Unification Problems with One-Sided Distributivity. 183-202
- Dan Benanav, Deepak Kapur, Paliath Narendran: Complexity of Matching Problems. 203-216

- Albrecht Fortenbacher: An Algebraic Approach to Unification Under Associativity and Commutativity. 217-229
- Charles C. Sims: Verifying Nilpotence. 231-247
- Franz Aurenhammer: Recognising Polytopical Cell Complexes and Constructing Projection Polyhedra. 249-255
- François Fages: Associative-Commutative Unification. 257-275
- John F. Ogilvie, R. H. Tipping: On the Analytic Solution by Computer Algebra of Some Problems in the Vibration-Rotational Spectroscopy of Diatomic Molecules. 277-281
- W. A. Beyer, L. Heller: A Steiner Tree Associated with Three Quarks. 283-289
- R. D. Mills: Using a Small Algebraic Manipulation System to Solve Differential and Integral Equations by Variational and Approximation Techniques. 291-301
- A. L. Semjonov, L. S. Melnikov, Vladimir A. Evstigneev: Solving the Problems of Kinetics of Complex Reactions by Symbolic Algebraic Manipulation Methods. 303-307