LaTeX Template for the journal Computing and Informatics.
This template was originally published on ShareLaTeX and subsequently moved to Overleaf in November 2019.
\begin
Discover why over 20 million people worldwide trust Overleaf with their work.
\documentclass{cai}
\usepackage{graphicx}
\volume{32}
\yyear{2013}
\page{1001}
% \noversion
%% your definitions
\def\bs#1{{\tt\char`\\#1}}
%%
\begin{document}
\label{firstpage}
\title[How to Write a Paper for CAI]
{How to Write a Paper\\ for Computing and Informatics}
\author[I.~Ja\v{s}\v{s}ov\'a, M.~Tak\'a\v{c}]
{Ivana \surname{Ja\v{s}\v{s}ov\'a}, Marcel \surname{Tak\'a\v{c}}}
\affiliation{Institute of Informatics\\
Slovak Academy of Sciences\\
D\'ubravsk\'a cesta 9\\
845\,07 Bratislava, Slovakia}
\email{cai.ui@savba.sk, takac@fpv.utc.sk}
%\author[O.~Authors]
% {Other \surname{Authors}}
%
%\affiliation{Institute of Other Authors\\
%Adress\\
%City, Country}
%
%\email{other.authors@server.edu}
\noreceived{} \nocommunicated{}
\maketitle
\begin{abstract}
This short text offers the guide how to write a paper for CAI. The journal is published in B5 format. The
papers are composed by help of the \LaTeX\ system. A special \LaTeX\ style is used, derived from the
\textit{article} style.
\end{abstract}
\begin{keywords}
Writing a paper, document structure, \LaTeX\ style
\end{keywords}
\begin{mathclass}
AB-XYZ
\end{mathclass}
\section{Introduction}
The \LaTeX\ style for writing papers is available on the web~\cite{cai-style}. Beside the style, the source
file of this document can be found there. It is recommended to use the source file when writing a paper.
\section{Document Structure}
A pre-defined \textit{cai} style, the result of a modification of the \textit{article} style, is used for the
papers (\bs{documentstyle\{cai\}}). Document structure is obvious from the source file of this
guide~\cite{cai-style}.
To structure text into sections and subsections, use the commands \bs{section\{\}} and \bs{subsection\{\}}
(or \bs{subsubsection\{\}}).
As a rule, the text to be \textit{highlighted} is italicized \bs{textit\{\dots\}}.
\subsection{Itemizing, Enumerating \dots}
Itemized and numbered lists can be created by help of standard \LaTeX\ environments \textit{itemize} and
\textit{enumerate}. For longer descriptions use lists in the \textit{description} environment.
\subsection{References}
References to literature are listed in the end of the paper text, as shown in this document. To refer to a
concrete literature, use the \bs{cite\{\dots\}} command. As an~example of literature reference, a journal
paper, a book and a conference paper are given~\cite{aklbruda, hintikka, marektruszczinski}.
To refer to a section of the text, use the \bs{label\{\dots\}} and \bs{ref\{\dots\}} commands.
\section{Inserting specials}
\subsection{Tables}
To insert tables, use the \textit{table} environment:
\begin{verbatim}
\begin{table}
...
\caption{Caption for this table}\label{tabone}
\end{table}
\end{verbatim}
To create a body of table, use standard \LaTeX\ methods. We did not create a~body of table in the
\textit{table} environment.
\subsection{Figures}
To insert figures, use the \textit{figure} environment:
\begin{verbatim}
\begin{figure}
...
\caption{Caption for this figure}\label{figone}
\end{figure}
\end{verbatim}
To include external figures, use the \bs{includegraphics\{file.pdf\}} command from the \textit{graphicx}
package. External figures are admissible in the Encapsulated Post\-Script (\texttt{.eps}) or PDF (\texttt{.pdf}) format.
Figures can also be created by help of the techniques available directly in \LaTeX, or in PSTricks.
\subsection{Mathematical Constructions}
Mathematical formulas are enclosed in \$ as the math bracket. To insert equations, use the \$\$\dots\$\$
constructions. To insert numbered equations, or equations to be referred to, use the \textit{equation}
environment.
\begin{verbatim}
\begin{equation}
...
\label{eqno1}
\end{equation}
\end{verbatim}
For multi-line equations, use the \textit{eqnarray} environment:
\begin{verbatim}
\begin{eqnarray[*]}
var_1 & rel_1 & eq1 \\
var_2 & rel_2 & eq2 \\
...
\end{eqnarray[*]}
\end{verbatim}
\subsection{Lemmas, Proofs\dots}
To write Proofs, use the \textit{proof} environment:
\begin{verbatim}
\begin{proof}
...
\end{proof}
\end{verbatim}
If you need further (numbered) environments to express mathematical structure, define them according to the
following example:
\newtheorem{lemma}{Lemma}
\begin{verbatim}
\newtheorem{lemma}{Lemma}
\end{verbatim}
\begin{lemma}[Hopcroft]
This is Lemma\dots
\end{lemma}
\section{Conclusions}
We believe that this short guide will help you to write papers for CAI. In case of any technical problems,
contact us at \texttt{cai@fpv.utc.sk}.
Having finished the paper, send the \TeX\ (\texttt{.tex}) and PDF (\texttt{.pdf}) files to the
Editorial Office. If you insert external figures (\texttt{.eps} or \texttt{.pdf}), include them as well. Use the e-mail
address \texttt{cai.ui@savba.sk}.
\begin{thebibliography}{99}
\bibitem{cai-style}
Ja\v{s}\v{s}ov\'a, I.---Tak\'a\v{c}, M.: CAI Style for Articles. Available on:
\texttt{http://www.cai.sk/style/}, 2003.
\bibitem{cai-web}
CAI web site. Availaible on\hbox{:} \texttt{http://www.cai.sk}.
\bibitem{aklbruda}
Akl, S.~G.---BRUDA, S.~D.: Parallel Real-Time Optimization: Beyond Speedup. Parallel Processing Letters,
Vol.~9, 1999, No.~4, pp.~499--509.
\bibitem{hintikka}
Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of Two Notions. Cornell University Press,
Ithaca, NZ, 1962.
\bibitem{marektruszczinski}
Marek, W.---Truszczinski, M.: Relating Autoepistemic and Dolomit Logic. In: R.~Brachman and H.~Levesque
(Eds.): Principles of Knowledge Representation and Reasoning, Proceedings of the First International
Conference, KR'89, Toronto, May 1989, pp.~276--288.
\end{thebibliography}
\bio{}Ivana,Ja\v{s}\v{s}ov\'a\\ works in the CAI Editorial Office. \dots
\bio{}Marcel,Tak\'a\v{c}\\ works for the CAI Editorial Office. \dots
\label{lastpage}
\end{document}