\begin{thebibliography}{Gru05b}

\bibitem[Gru04]{grue04}
K.~Grue.
\newblock Logiweb.
\newblock In Fairouz Kamareddine, editor, {\em Mathematical Knowledge
  Management Symposium 2003}, volume~93 of {\em Electronic Notes in Theoretical
  Computer Science}, pages 70--101. Elsevier, 2004.

\bibitem[Gru05a]{grue05}
K.~Grue.
\newblock The implementation of logiweb.
\newblock In Bernd Fischer, Stephan Schulz, and Geoff Sutcliffe, editors, {\em
  Empirically Successful Classical Automated Reasoning (ESCAR)}, 2005.

\bibitem[Gru05b]{base}
K.~Grue.
\newblock A logiweb base page.
\newblock Technical report, Logiweb, 2005.
\newblock \liberalUrlBreak{\lgwIjcarBaseUrl}.

\bibitem[Gru06]{appendix}
K.~Grue.
\newblock Logiweb sequent calculus, appendix.
\newblock Technical report, Logiweb, 2006.
\newblock \liberalUrlBreak{\lgwIjcarUrl body/tex/appendix.pdf}.

\bibitem[Men87]{mendelson}
E.~Mendelson.
\newblock {\em Introduction to Mathematical Logic}.
\newblock Wadsworth and Brooks, 3. edition, 1987.

\end{thebibliography}