
\documentclass{ifcolog}

\usepackage{makeidx}





\title{The IFCoLog Class File: A Brief Guide}

\titlerunning{IFCoLog Class File}

\addauthor{IFCoLog}{International Federation of Computational Logic}
\addauthor[micahel.gabbay@kcl.ac.uk]
  {Michael Gabbay\thanks{Sponsored by IFCoLog}}
  {King's College London, Strand WC2R 2LS}

\authorrunning{IFCoLog and Gabbay}

\begin{document}
\maketitle

\begin{abstract}
  A simple guide for using the IFColog class file.
\end{abstract}



\section{About the class file}
\label{about}


\begin{enumerate}
\item
The default paper size is 7 by 10 inches. With a print area of 140 by 210 millimetres.
\item
The base font is Computer Modern, 10pt, and the {\sf sans-serif} font is
{\sf Helvetica}.
\item
The reference list is condensed. The default bibliography style is\texttt{plain}.
\item
To insert images, pdfs etc, use the \texttt{graphicx} package and for good printing quality should be at least 300dpi.
\item
The style has no page-numbers, these are added to the bottom of the page when papers are collected into a single volume.
\item
Figures are surrounded by a box.
\end{enumerate}

\section{Preamble}
\label{preamble}

The front matter of an article is slightly different from others. Authors are added by a series of \verb+\addauthor+ commands, in addition to the \verb+\titlerunning+ and \linebreak \verb+\authorrunning+
commands, see Figure~\ref{fig1}.

\begin{figure}[t]
\begin{verbatim}
\title{The IFCoLog Class File: A Brief Guide}

\titlerunning{IFCoLog Class File}

\addauthor{IFCoLog}{International Federation of Computational Logic}
\addauthor[micahel.gabbay@kcl.ac.uk]
  {Michael Gabbay\thanks{Sponsored by IFCoLog}}
  {King's College London, Strand WC2R 2LS}

\authorrunning{IFCoLog and Gabbay}

\begin{document}
\maketitle

\begin{abstract}
  A simple guide for using the IFColog class file.
\end{abstract}
\end{verbatim}
\caption{The preamble for this document}\label{fig1}
\end{figure}

The message reminding authors to thank the referees can be removed by using, in the preamble, the \verb+\titlethanks+ command followed by a message thanking the referees. To have no message at all use \verb+\titlethanks{}+.

\section{Section headings and capitalisation}
\label{section-headings}

Section and paragraph headings are invoked via the standard
commands, such as
\verb+\section+,
\verb+\subsection+,
\verb+\subsubsection+, and
Paper titles should follow the style commonly referred to as `Title Case' for headings:

\begin{itemize}
\item
Capitalise the first word in a title, regardless of part of speech.
\item
Capitalise all nouns, pronouns, verbs, adjectives, adverbs.
\item
Lowercase `to' as part of an infinitive.
\item
Lowercase all articles, prepositions and coordinating conjunctions.
\end{itemize}
Other section headings should have just the first word capitalised. 

\section{Overfull hboxes}

IFCoLog class file uses the \texttt{draft} option. A text overflow within any environment will be highlighted by a thick black line in the right margin. In the case of large tables or complex figures, use the \verb+\scalebox+ command to reduce sizes. For example in \texttt{quote} environment:
\begin{quote}
All work and no play makes Jack a dull boy. All work and no play makes Jack a dull boy. All work and no play makes Jack a dull boy. All work and no play makes Jack a dull boy.
All~work~and~no play~makes~Jack~a~dull~boy. All~work~and~no play~makes~Jack a~dull~boy. All~work~and~no play~makes~Jack a~dull~boy.
\end{quote}

\end{document}

