%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                             File wae.sty                             %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% wae.sty -- 14 July 1997
%
% Adapted from standard article.sty + art10.sty files by G. F. Italiano
%
% This file contains modifications of some commands in the standard
% files for producing an article to appear in a 
% proceedings volume. It also contains a few definitions useful for
% producing mathematical texts.

\typeout{Document Style `WAE proceedings article' <14 July 1997>.}

% compatibility with earlier LaTeX versions

\def\reset@font{}
\def\p@LaTeX{{\reset@font\rm L\kern-.36em\raise.3ex\hbox{\sc a}\kern-.15em%
    T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}}
\def\LaTeX{\protect\p@LaTeX}

% input standard files

\input article.sty

% general declarations

\topmargin=-1cm
\baselineskip=14pt
\oddsidemargin=.25in
\evensidemargin=.25in
\textwidth=6in
\textheight=8.5in
\footskip=50pt

\def\refname{References}
\def\abstractname{Abstract}

% modifications of definitions in standard files

\def\@maketitle{\newpage
 \begin{center}%
  {{\bf\expandafter\uppercase\expandafter{\@title}} \par}%
  \vskip 1.5em
  {\lineskip .5em
   \begin{tabular}[t]{c}
   \@author\\
   {\small\it
     \begin{tabular}[t]{c}
     \@address
     \end{tabular}}
   \end{tabular}\par}%
   \if@severalauthors
       \vskip.8em
       and
       \vskip.8em
       \begin{tabular}[t]{c}
       \@secondauthor\\
       {\small\it
         \begin{tabular}[t]{c}
         \@secondaddress
         \end{tabular}}
       \end{tabular}\par
   \fi
 \end{center}%
 \par
 \vskip 1em
}

\def\address#1{\gdef\@address{#1}}
\newif\if@severalauthors \@severalauthorsfalse
\def\secondauthor#1{\@severalauthorstrue\gdef\@secondauthor{#1}}
\def\secondaddress#1{\gdef\@secondaddress{#1}}

\def\abstract{\small
\begin{center}%
{\expandafter\uppercase\expandafter{\abstractname}\vspace{-.5em}\vspace{\z@}}%
\end{center}%
\quotation\noindent\baselineskip=12pt}

\def\endabstract{\endquotation\vspace{0.5cm}}

\def\section{\@startsection {section}{1}{\z@}{-0.6cm plus-1ex minus
    -.2ex}{0.4cm plus.2ex}{\reset@font\bf}}
\def\subsection{\@startsection{subsection}{2}{\z@}{-0.4cm plus-1ex
    minus-.2ex}{0.5mm plus.2ex}{\reset@font\it}}
\def\subsubsection{\@startsection{subsubsection}{3}{\z@}{-0.4cm plus
 -1ex minus-.2ex}{0.5mm plus.2ex}{\reset@font\it}}

\def\@sect#1#2#3#4#5#6[#7]#8{\ifnum #2>\c@secnumdepth
     \let\@svsec\@empty\else
     \refstepcounter{#1}\edef\@svsec{\csname the#1\endcsname.\hskip .6em}\fi
     \@tempskipa #5\relax
      \ifdim \@tempskipa>\z@
        \begingroup #6\relax
          \@hangfrom{\hskip #3\relax\@svsec}{\interlinepenalty \@M #8\par}%
        \endgroup
       \csname #1mark\endcsname{#7}\addcontentsline
         {toc}{#1}{\ifnum #2>\c@secnumdepth \else
                      \protect\numberline{\csname the#1\endcsname}\fi
                    #7}\else
        \def\@svsechd{#6\hskip #3\relax  %% \relax added 2 May 90
                   \@svsec #8\csname #1mark\endcsname
                      {#7}\addcontentsline
                           {toc}{#1}{\ifnum #2>\c@secnumdepth \else
                             \protect\numberline{\csname the#1\endcsname}\fi
                       #7}}\fi
     \@xsect{#5}}
 
\def\@afterheading{\global\@nobreaktrue
      \everypar{\if@nobreak
                   \global\@nobreakfalse
                   \clubpenalty \@M
                 \else \clubpenalty \@clubpenalty
                    \everypar{}\fi}}

\long\def\@caption#1[#2]#3{\par\addcontentsline{\csname
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
  the#1\endcsname}{\ignorespaces #2}}\begingroup
    \@parboxrestore
    \small\baselineskip=12pt
    \@makecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par
  \endgroup}

%\def\thebibliography#1{\small\section*{\refname\@mkboth
%  {\uppercase{\refname}}{\uppercase{\refname}}}\list
%  {\@biblabel{\arabic{enumi}}}{\settowidth\labelwidth{\@biblabel{#1}}%
%    \leftmargin\labelwidth
%    \advance\leftmargin\labelsep
%    \usecounter{enumi}%
%    \let\p@enumi\@empty
%    \def\theenumi{\arabic{enumi}}}%
%    \def\newblock{\hskip .11em plus.33em minus.07em}%
%    \sloppy\clubpenalty4000\widowpenalty4000
%    \sfcode`\.=1000\relax
%    \frenchspacing}
%
%\def\@biblabel#1{#1.}

\def\@begintheorem#1#2{\it \trivlist \item[\hskip
\labelsep{{\bf #1\ #2.}}]}
\def\@opargbegintheorem#1#2#3{\it \trivlist
      \item[\hskip \labelsep{{\bf #1\ #2}\ {\rm#3}.}]}

% a few commands and environments for mathematical papers

\newtheorem{Thm}{Theorem}[section]
\newtheorem{Prop}[Thm]{Proposition}
\newtheorem{Lemma}[Thm]{Lemma}
\newtheorem{Def}[Thm]{Definition}
\newtheorem{Rmk}[Thm]{Remark}
\newtheorem{Cor}[Thm]{Corollary}
\newtheorem{Example}[Thm]{Example}
\newtheorem{Examples}[Thm]{Examples}
\newtheorem{Conjecture}[Thm]{Conjecture}
\newtheorem{Problem}[Thm]{Problem}

\newenvironment{proof}{\rm \trivlist \item[\hskip \labelsep{\bf
Proof.}]}{\endtrivlist}

\newcommand{\qed}{\nobreak\hbox{$\square$}}

\endinput

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%