%                            alex-example.tex                           %
% to be used for producing the final version of the paper to
% be included in ALEX98 proceedings booklet

\documentstyle[epsf]{alex}

\begin{document}

\begin{center}
\Large\bf
{Title of a ALEX article\\
CLICKTOCLIQUE: Implementing a Working MaxClique Oracle in your Personal
             Electronic Phonebook}
\end{center}
\vspace{3mm}

\begin{center}
Author's Name\\
{\em University Department, University Name, Address}\\
{\em City, State ZIP/Zone, Country}\\
{\em e-mail: {\tt name@ghost}}
\vspace{3mm}

Other Author's Name\\
{\em University Department, University Name, Address}\\
{\em City, State ZIP/Zone, Country}\\
{\em e-mail: {\tt name@ghost}}
\vspace{3mm}

and
\vspace{3mm}

Last Author's Name\\
{\em Group, Company, Address, City, State ZIP/Zone, Country}\\
{\em e-mail: {\tt name@ghost}}
\end{center}
\vspace{3mm}

\begin{abstract}
A copy of this \LaTeX\ file
can be obtained at the {\tt URL http://rtm.science.unitn.it/alex98}
It is to be used for the preparation of a camera-ready manuscript 
to be included in the informal proceedings booklet of the ALEX98 Workshop.

Our last experience with SAT-O-Matic, a PERL script to produce a Tcl/Tk 
procedure that outputs a BASIC program that solves the decisional SAT problem 
in sublogarithmic time by just saying "Yes" or "No", convinced us that a 
simple "Yes/No" answer is useless in most cases.
In this paper we show how to build a MaxClique oracle and present plenty of 
examples about its implementation on a 16kB electronic agenda (with at least 
32 free phone-number locations). 
\end{abstract}

\section{Introduction}

To obtain a nice proceedings booklet, contributing authors are
required to follow closely the instructions given here.  To avoid
replications in formatting, you are invited to use a style file ({\tt alex.sty})
which contains a very simple adaptation of the standard \LaTeX\ 
{\tt article.sty}
file. In particular, text size and margins
should be kept as in this sample.  
The suggested maximum size of your manuscript is 12 pages.
Final versions ( \LaTeX\ and PostScript files for the figures)
must be sent via electronic mail to {\tt alex98@rtm.science.unitn.it} by 
Jan 25, 1998. Final versions that arrive late or that deviate from these
guidelines cannot be guaranteed to be included in the workshop
booklet.

If figures are present in the paper, please produce a {\tt .tar file}
with all material, {\tt gzip} and {\tt uuencode} before sending by email. 

For example, suppose that your name is Gippo,
your paper is called {\tt gippo.tex} and that
you have two figures {\tt nice.eps} and {\tt ugly.eps}.
Place all material in directory {\tt /gippo}. Go to the
parent directory ({\tt cd ..}), then execute: \\
{\tt tar cvf gippo.tar ./gippo} \\
{\tt gzip gippo.tar} \\
{\tt uuencode gippo.tar.gz gippo.tar.gz > gippo.uu } \\
Finally, if you use the {\tt elm} mailer (but any mailer will be fine
{\em mutatis mutandis}): \\
{\tt elm -s "gippo.uu" alex98@rtm.science.unitn.it < gippo.uu }

\section{General structure}

Please
avoid ad hoc formatting procedures and try to use only
\LaTeX\ formatting commands (such as \verb+\section+ and
\verb+\subsection+; itemize, theorem, figure, picture and
thebibliography environments; and so on).
To use the style file {\tt alex.sty}, please start your \LaTeX\ file with the
command:
\begin{verbatim}
\documentstyle{alex}
\end{verbatim}
You may include standard options, but no formatting options (such as
fullpage, 11pt, 12pt, \ldots). 

\subsection{Headings}

Use the commands \verb+\section{Section name}+ and
\verb+\subsection{Subsection name}+ to structure your text in
sections and subsections.

\subsection{Lemmas, Propositions, Theorems}

For mathematical statements 
use the appropriate environments:
\verb+\begin{Thm} ... \end{Thm}+,
\verb+\begin{Prop} ...+ \verb+\end{Prop}+,
\verb+\begin{Lemma} ... \end{Lemma}+.
These and a few other commonly used environments are
already available in the style file {\tt alex.sty}.

\subsection{References}

To refer to a statement, such as a lemma, include a
\verb+\label{your label}+ command in its statement and use
the command \verb+\ref{your label}+. Here is an example:

\begin{Lemma}\label{intelligent}
The computing power of a personal electronic phonebook is
directly proportional to the amount of dollars spent when
buying it.
\end{Lemma}

The reference to the example can be done as Lemma~\ref{intelligent}.

\subsection{Equations}

Equations should be centered and, if needed, should be numbered in the
standard way in \LaTeX. To produce a numbered equation, use the command
\verb+\begin{equation} ...+ \verb+\end{equation}+.

One refers to an equation by using the
command \verb+\label{keyword}+ and \verb+\ref+, except that the latter
should include parentheses: \verb+(\ref{keyword})+ .

\subsection{Figures}

Figures can be included in the
form of Encapsulated PostScript files by using the documentstyle option
{\tt epsf} and the command \verb+\epsffile{filename}+. 
Figures are to be embedded in the text near their first reference.
Captions must be set below the figure using the following scheme:
\begin{verbatim}
\begin{figure}
(figure commands)
\caption{your caption for the figure}
\end{figure}
\end{verbatim}
Figure~\ref{fig:net} shows an example of including a picture via
{\tt epsfig}.

\begin{figure}
\begin{center}
\leavevmode
\epsfxsize=4cm
\epsfbox{supergraph.eps}
\caption{Supergraphs: the next generation of hypergraphs.}
\label{fig:net}
\end{center}
\end{figure}

\subsection{Acknowledgements}

Support by grants or institutions should be acknowledged by means of a
footnote produced with the \verb+\footnote{This work was partially...}+
command, included in the appropriate author declaration. Other
acknowledgements should appear at the end of the text, just before the
references, in a special section produced with the command
\verb+\section*{Acknowledgements}+.

\section{Bibliographic references}

References to the bibliography should be cited in the text by 
using the command \verb+\bibitem{keyword}+ to produce the
bibliography entry at the end of the text and the command
\verb+\cite{keyword}+ to refer to it. The bibliographic entries should be
organized in alphabetical order of the authors' last names. Authors'
names should be given by initials plus last name. Entries should include
title (in italics), name of publication (journal, proceedings), volume
(in boldface), year of publication (in parenthesis for a journal) and
page numbers. Please see below for examples.
Use the following scheme to produce the bibliography:
\begin{verbatim}
\begin{thebibliography}{99}
\bibitem{keyword} ...
\end{thebibliography}
\end{verbatim}
This is the scheme used by Bibtex. If you use Bibtex, do not forget
to include the filename.bib file.

\begin{thebibliography}{99}

\bibitem{CHL87}
I. Chlamtac and S. S. Pinter,
Distributed Nodes Organization Algorithm for Channel Access in a
Multihop
Dynamic Radio Network, {\em IEEE Trans. Computers}, 36 (1987) 728--737.

\bibitem{author} M. Sister and B. B. Brother, Skiing is better
than listening to boring talks, in {\em Proc.
Workshop on Algorithms and Experiments (ALEX98)\/}, R. Battiti and A. Bertossi editors, 1998, 
77--99. 

\bibitem{ski} G. Skifan, {\em How to ski\/}, 
Freezing Publications Co., 1998.

\end{thebibliography}

\end{document}