| 127 | -- | 159 | Norbert Kajler, Neil Soiffer. A Survey of User Interfaces for Computer Algebra Systems |
| 161 | -- | 194 | Yves Bertot, Laurent Théry. A Generic Approach to Building User Interfaces for Theorem Provers |
| 195 | -- | 212 | Michael B. Hayden, Edmund A. Lamagna. NEWTON: An Interactive Environment for Exploring Mathematics |
| 213 | -- | 237 | Simon Gray, Norbert Kajler, Paul S. Wang. Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions |
| 239 | -- | 261 | Helen Lowe, Alan Bundy, Duncan McLean. The Use of Proof Planning for Co-operative Theorem Proving |
| 263 | -- | 284 | J. Stuart Aitken, Philip D. Gray, Thomas F. Melham, Muffy Thomas. Interactive Theorem Proving: An Empirical Study of User Activity |