\documentstyle[11pt]{article}
\voffset=-2.6cm
\hoffset=-1.5cm
\textwidth=15cm
\textheight=24cm
\begin{document}
\pagestyle{empty}
\center{\Large \bf Contents}

\begin{itemize}

\item[] B. Buchberger. {\em Theorema: An Overview on the Project and
  the Proceedings}. 
\item[] B. Buchberger, F. Kriftner. {\em Theorema: The Language}.  
\item[] B. Buchberger. {\em Theorema: Natural Language Proofs and
    Nested Cells Representation of Proofs}.
\item[]  B. Buchberger. {\em The Theorema Prover for Equalities over
    the Natural Numbers}. 
\item[]  B. Buchberger, T. Jebelean. {\em Theorema: The
  Predicate Logic Prover}. 

\item[]  B. Buchberger, D. V\u{a}saru. {\em Theorema: The Induction Prover for
                Lists}. 


\item[]  J. Matsuda. {\em A Prover for Propositional Logic
                in Natural (Deduction) Style: Implementation in C}. 
\item[] B. Buchberger. {\em A Note on Computing Times in Different
    Programming Styles in Mathematica}.
\item[]B. Buchberger, M. Marin. {\em Proving by
  Simplification}. 
\item[]  E. Tomu\c{t}a. {\em Using Functors in Organizing
  Proofs}. 

\item[]T. Suzuki, K. Nakagawa, T. Ida. {\em Higher-Order Lazy
                Narrowing Calculus: A Computation Model for a Higher-order Functional
                Logic Language}. 

\item[]  M. Hamada, T. Ida. {\em A Deterministic Lazy Conditional
                                         Narrowing and its Implementation in
                                         Mathematica}.  
\item[]M. Hamana. {\em Term Rewriting with Sequences}.  
\item[]I. Durant, A. Middeldorp. {\em Decidable Call by Need Computations
                in Term Rewriting}. 
\item[]T. Yamada, J. Avenhaus, C. Lor\'{\i}a-S\'aenz,
A. Middeldorp. {\em Logicality of Conditional Rewrite
 Systems}. 
\item[] U. Martin, D. Shand. {\em Investigating some Embedded Verification
                          Techniques for Computer Algebra Systems}. 
\end{itemize}

\paragraph{\Large \bf Appendix}

\begin{itemize}
\item[] B. Buchberger. {\em Mathematica: Doing Mathematics by
    Computer?}.
\item[] B. Buchberger. {\em Symbolic Computation: Computer Algebra and
    Logic}.

\item[] B. Buchberger. {\em Proving, Solving, Computing}.
\item[] B. Buchberger. {\em Mathematica as a Rewrite Language}.
\item[] B. Buchberger. {\em Using Mathematica for Doing Simple
    Mathematical Proofs}.
\item[] B. Buchberger, T. Jebelean, F. Kriftner, M. Marin,
  E. Tomu\c{t}a, D. V\u{a}saru. {\em A Survey of the Theorema Project}.

\end{itemize}

\end{document}
