%% DOCUMENTSTYLE ECAI94
\typeout{Standard Document Style `ecaiws96' <Version 01, April 1996>}

% Based on:
%    ARTICLE STANDARD DOCUMENT STYLE -- Released 14 Jan 1992
%    for LaTeX version 2.09 by Leslie Lamport
% Modified for ECAI 92 by:
%    Oliver Ludwig, Fachbereich Informatik der Universit"at Hamburg,
%    Bodenstedtstra\3 16, W-2000 Hamburg 54

% Modified for ECAI 94 by:
%    Geeti Granger, John Wiley & Sons Ltd
% Modified for ECAI 96 WS MKR by:
%    Karsten Homann

%Amended by: Geeti to overcome problem with setting footnote in second col, first page
%Date:       10/4/94
%Change:     define \newcounter{pageone}
%            remove \else\vskip12pt between two \fi commands in def of myfootnote

%Change:    create theroremlist environment

%Amended by: Jenny Smith 13 July 1995
% for ECAI 96
%\mycopyright altered for 1996 publication
%\myedit added as \mycopyright line too long

%***************************************
%To set general text parameters
%***************************************
\def\@ptsize{0}
\@namedef{ds@11pt}{\def\@ptsize{1}}
\@namedef{ds@12pt}{\def\@ptsize{2}}

\def\ds@twoside{\@twosidetrue
           \@mparswitchtrue}

\def\ds@draft{\overfullrule 5\p@}

\newif\if@titlepage \@titlepagefalse
\def\ds@titlepage{\@titlepagetrue}

\def\ds@twocolumn{\@twocolumntrue}

\@options

\lineskip 1pt
\normallineskip 1pt
\def\baselinestretch{1}

\def\@normalsize{\@setsize\normalsize{11pt}\ixpt\@ixpt
\abovedisplayskip 9\p@ plus1.8\p@ minus4.5\p@
\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip  \z@ plus2.7\p@
\belowdisplayshortskip  5.4\p@ plus2.7\p@ minus3\p@
\let\@listi\@listI}

\def\small{\@setsize\small{9.9pt}\ixpt\@ixpt
\abovedisplayskip 7.7\p@ plus2.7\p@ minus3.6\p@
\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus1.8\p@
\belowdisplayshortskip 3.6\p@ plus1.8\p@ minus1.8\p@
\def\@listi{\leftmargin\leftmargini
\topsep 3.6\p@ plus1.8\p@ minus1.8\p@\parsep 1.8\p@ plus\p@ minus\p@
\itemsep \parsep}}

\def\footnotesize{\@setsize\footnotesize{8.6pt}\viiipt\@viiipt
\abovedisplayskip 5.4\p@ plus1.8\p@ minus3.6\p@
\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip \z@ plus\p@
\belowdisplayshortskip 2.7\p@ plus\p@ minus1.8\p@
\def\@listi{\leftmargin\leftmargini
\topsep 2.7\p@ plus\p@ minus\p@\parsep 1.8\p@ plus\p@ minus\p@
\itemsep \parsep}}

\def\scriptsize{\@setsize\scriptsize{7.2pt}\vipt\@vipt}
\def\tiny{\@setsize\tiny{6pt}\vpt\@vpt}
\def\large{\@setsize\large{12pt}\xipt\@xipt}
\def\Large{\@setsize\Large{14pt}\xiipt\@xiipt}
\def\LARGE{\@setsize\LARGE{18pt}\xivpt\@xivpt}
\def\huge{\@setsize\huge{22pt}\xviipt\@xviipt}
\def\Huge{\@setsize\Huge{25pt}\xxpt\@xxpt}

\def\tit@mysize{\@setsize\tit@mysize{22pt}\xxpt\@xxpt\bf}
\def\aut@mysize{\@setsize\aut@mysize{12pt}\xipt\@xipt}
\def\abs@mysize{\@setsize\abs@mysize{10pt}\viiipt\@viiipt}
\def\seca@mysize{\@setsize\seca@mysize{11pt}\xipt\@xipt}
\def\secb@mysize{\@setsize\secb@mysize{11pt}\xipt\@xipt}
\def\secc@mysize{\@setsize\secc@mysize{11pt}\xpt\@xpt}
\def\footsize{\@setsize\footsize{9pt}\viiipt\@viiipt}   
\def\tabsize{\@setsize\tabsize{10pt}\viiipt\@viiipt}  
\def\captsize{\@setsize\captsize{10pt}\viiipt\@viiipt}  
\def\refsize{\@setsize\refsize{10pt}\viiipt\@viiipt}   
\def\progsize{\@setsize\progsize{10pt}\ixpt\@ixpt} 

\parindent 1em

\parskip 0pt

\frenchspacing

\flushbottom

\normalsize

\pagenumbering{arabic}

%***************************************
%Page dimensions
%***************************************
\oddsidemargin  12pt
\evensidemargin 12pt
\marginparwidth 0pt

\marginparsep 0pt

\newdimen\ftextheight
\newdimen\ntextheight

\textwidth  42.5pc
\columnsep  1.5pc
\columnseprule 0pt
\setlength{\hoffset}{-3.5pc}

\ntextheight 671pt
\ftextheight\ntextheight
\advance\ftextheight -42pt

\headheight 0pt
\headsep 0pt
\topskip = 1pt

\footskip 24pt
\footnotesep 6.65pt
\skip\footins 9pt plus 4pt minus 2pt

\floatsep 11pt plus 2pt minus 2pt
\textfloatsep 11pt plus 2pt minus 4pt
\intextsep 11pt plus 2pt minus 2pt
\@maxsep 20pt
\dblfloatsep 11pt plus 2pt minus 2pt
\dbltextfloatsep 11pt plus 2pt minus 4pt
\@dblmaxsep 20pt
\@fptop 0pt plus 1fil
\@fpsep 8pt plus 2fil
\@fpbot 0pt plus 1fil
\@dblfptop 0pt plus 1fil
\@dblfpsep 8pt plus 2fil
\@dblfpbot 0pt plus 1fil

\marginparpush 5pt

\partopsep 2pt plus 1pt minus 1pt

\@lowpenalty   51
\@medpenalty  151
\@highpenalty 301

\@beginparpenalty -\@lowpenalty

\@endparpenalty   -\@lowpenalty

\@itempenalty     -\@lowpenalty

%***************************************
%Abstracts
%***************************************
\def\abstract{ {\parindent 0mm\bf \abstractname.\hspace{3pt}}%
}

\def\endabstract{%\if@twocolumn
\endquotation
}

%***************************************
%Heading definitions
%***************************************
\def\section{\@startsection {section}{1}{\z@}
  {-16.5pt plus -5pt minus -3pt}
  {  5.5pt plus 5pt}
  {\seca@mysize\bf\raggedright}}
\def\subsection{\@startsection{subsection}{2}{\z@}
  {-16.5pt plus -5pt minus -3pt}
  {  5.5pt plus 5pt}
  {\secb@mysize\bf\raggedright}}
\def\subsubsection{\@startsection{subsubsection}{3}{\z@}
  {-16.5pt plus -5pt minus -3pt}
  {  5.5pt plus 5pt}
  {\secc@mysize\it\raggedright}}

\def\paragraph{\@startsection
     {paragraph}{4}{\z@}{3.25ex plus1ex minus.2ex}{-1em}{
     \normalsize\bf}}
\def\subparagraph{\@startsection
     {subparagraph}{4}{\parindent}{3.25ex plus1ex minus
     .2ex}{-1em}{\normalsize\bf}}

\setcounter{secnumdepth}{3}

\def\appendix{\par
  \setcounter{section}{0}
  \setcounter{subsection}{0}
  \def\thesection{\Alph{section}}}

% for acknowledgements
\def\acknowledgements{\section*{\bf ACKNOWLEDGEMENTS}}
\def\ack{\acknowledgements}

% need a period after section numbers
\def\@sect#1#2#3#4#5#6[#7]#8{\ifnum #2>\c@secnumdepth
     \def\@svsec{}\else 
     \refstepcounter{#1}\edef\@svsec{\csname the#1\endcsname{}\hskip 1em }\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\@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}}

%***************************************
%Lists
%***************************************
\leftmargin10pt %new line added
\leftmargini 10pt %25pt
\leftmarginii 10pt %22pt
\leftmarginiii 5pt %18.7pt
\leftmarginiv 5pt %17pt
\leftmarginv 5pt %10pt
\leftmarginvi 5pt %10pt

\leftmargin\leftmargini
\labelsep 5pt
\labelwidth\leftmargini\advance\labelwidth-\labelsep

\def\@listI{\leftmargin\leftmargini \parsep 0\p@
\topsep 8\p@ plus2\p@ minus4\p@
\itemsep 0\p@}

\let\@listi\@listI
\@listi

\def\@listii{\leftmargin\leftmarginii
   \labelwidth\leftmarginii\advance\labelwidth-\labelsep
   \topsep 4\p@ plus2\p@ minus\p@
   \parsep 0\p@
   \itemsep \parsep}

\def\@listiii{\leftmargin\leftmarginiii
    \labelwidth\leftmarginiii\advance\labelwidth-\labelsep
    \topsep 2\p@ plus\p@ minus\p@
    \parsep \z@ \partopsep \p@ plus\z@ minus\p@
    \itemsep \topsep}

\def\@listiv{\leftmargin\leftmarginiv
     \labelwidth\leftmarginiv\advance\labelwidth-\labelsep
    \parsep \z@ \itemsep \parsep}

\def\@listv{\leftmargin\leftmarginv
     \labelwidth\leftmarginv\advance\labelwidth-\labelsep
    \parsep \z@ \itemsep \parsep}

\def\@listvi{\leftmargin\leftmarginvi
     \labelwidth\leftmarginvi\advance\labelwidth-\labelsep
    \parsep \z@ \itemsep \parsep}

\ds@twoside%
\ds@twocolumn%

\def\labelenumi{\theenumi.}
\def\theenumi{\arabic{enumi}}

\def\labelenumii{(\theenumii)}
\def\theenumii{\alph{enumii}}
\def\p@enumii{\theenumi}

\def\labelenumiii{\theenumiii.}
\def\theenumiii{\roman{enumiii}}
\def\p@enumiii{\theenumi(\theenumii)}

\def\labelenumiv{\theenumiv.}
\def\theenumiv{\Alph{enumiv}}
\def\p@enumiv{\p@enumiii\theenumiii}

\def\labelitemi{$\m@th\bullet$}
\def\labelitemii{\bf --}
\def\labelitemiii{$\m@th\ast$}
\def\labelitemiv{$\m@th\cdot$}

%***************************************
%Verse, quotes and descriptions
%***************************************
\def\verse{\let\\=\@centercr
  \list{}{\itemsep\z@ \itemindent -1.5em\listparindent \itemindent
          \rightmargin\leftmargin\advance\leftmargin 1.5em}\item[]}
\let\endverse\endlist

\def\quotation{\list{}{\listparindent 1.5em
    \itemindent\listparindent
    \rightmargin\leftmargin \parsep \z@ plus\p@}\item[]}
\let\endquotation=\endlist

\def\quote{\list{}{\rightmargin\leftmargin}\item[]}
\let\endquote=\endlist

\def\lquotation{\list{}{\listparindent 1.5em
 \setlength{\rightmargin}{1true cm}
 \setlength{\leftmargin}{\rightmargin}}\item[]}
\let\endlquotation=\endlist

\def\descriptionlabel#1{\hspace\labelsep \bf #1}
\def\description{\list{}{\labelwidth\z@ \itemindent-\leftmargin
       \let\makelabel\descriptionlabel}}

\let\enddescription\endlist

%***************************************
%Equation number
%***************************************
\def\theequation{\arabic{equation}}

%***************************************
%Table/tabbing style parameters
%***************************************
\arraycolsep 5pt

\tabcolsep 6pt

\arrayrulewidth .4pt

\doublerulesep 2pt

\tabbingsep \labelsep

\newcounter{table}
\def\thetable{\@arabic\c@table}

\def\fps@table{htbp}
\def\ftype@table{2}
\def\ext@table{lot}
\def\table{\tabsize\@float{table}}
\let\endtable\end@float
\@namedef{table*}{\@dblfloat{table}}
\@namedef{endtable*}{\end@dblfloat}

%***************************************
%Minipage
%***************************************
\skip\@mpfootins = \skip\footins

%***************************************
%Boxes
%***************************************
\fboxsep = 3pt

\fboxrule = .4pt

%***************************************
%Preliminary and part pages
%***************************************
\def\partname{Part}
\def\contentsname{Contents}
\def\listfigurename{List of Figures}
\def\listtablename{List of Tables}
\def\refname{References}
\def\indexname{Index}
\def\figurename{Figure}
\def\tablename{Table}
\def\abstractname{Abstract}

\newcounter{part}
\newcounter {section}
\newcounter {subsection}[section]
\newcounter {subsubsection}[subsection]
\newcounter {paragraph}[subsubsection]
\newcounter {subparagraph}[paragraph]

\def\thepart          {\Roman{part}}
\def\thesection       {\arabic{section}}
\def\thesubsection    {\thesection.\arabic{subsection}}
\def\thesubsubsection {\thesubsection .\arabic{subsubsection}}
\def\theparagraph     {\thesubsubsection.\arabic{paragraph}}
\def\thesubparagraph  {\theparagraph.\arabic{subparagraph}}

\def\titlepage{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
     \else \newpage \fi \thispagestyle{empty}\c@page\z@}

\def\endtitlepage{\if@restonecol\twocolumn \else \newpage \fi}

\def\part{\par
   \addvspace{4ex}
   \@afterindentfalse
   \secdef\@part\@spart}

\def\@part[#1]#2{\ifnum \c@secnumdepth >\m@ne
        \refstepcounter{part}
        \addcontentsline{toc}{part}{\thepart
        \hspace{1em}#1}\else
      \addcontentsline{toc}{part}{#1}\fi
   {\parindent \z@ \raggedright
    \interlinepenalty \@M
    \ifnum \c@secnumdepth >\m@ne
      \Large \bf \partname~\thepart%   THEN Print '\partname' and
      \par\nobreak
    \fi
    \huge \bf
    #2%
    \markboth{}{}\par
   }\nobreak
   \vskip 3ex
   \@afterheading
  }

\def\@spart#1{{\parindent \z@ \raggedright
    \interlinepenalty \@M
    \huge \bf
    #1\par}
    \nobreak
    \vskip 3ex
    \@afterheading
  }

\def\@pnumwidth{1.55em}
\def\@tocrmarg {2.55em}
\def\@dotsep{4.5}
\setcounter{tocdepth}{3}

\def\tableofcontents{\section*{\contentsname
        \@mkboth{\uppercase{\contentsname}}{\uppercase{\contentsname}}}%
  \@starttoc{toc}}

\def\l@part#1#2{\addpenalty{\@secpenalty}%
   \addvspace{2.25em plus\p@}%
   \begingroup
   \@tempdima 3em
     \parindent \z@ \rightskip \@pnumwidth
     \parfillskip -\@pnumwidth
     {\large \bf
     \leavevmode
     #1\hfil \hbox to\@pnumwidth{\hss #2}}\par
     \nobreak
   \endgroup}

\def\l@section#1#2{\addpenalty{\@secpenalty}% good place for page break
   \addvspace{1.0em plus\p@}%
   \@tempdima 1.5em
   \begingroup
     \parindent \z@ \rightskip \@pnumwidth
     \parfillskip -\@pnumwidth
     \bf
     \leavevmode
      \advance\leftskip\@tempdima
      \hskip -\leftskip
     #1\nobreak\hfil \nobreak\hbox to\@pnumwidth{\hss #2}\par
   \endgroup}

\def\l@subsection{\@dottedtocline{2}{1.5em}{2.3em}}
\def\l@subsubsection{\@dottedtocline{3}{3.8em}{3.2em}}
\def\l@paragraph{\@dottedtocline{4}{7.0em}{4.1em}}
\def\l@subparagraph{\@dottedtocline{5}{10em}{5em}}

\def\listoffigures{\section*{\listfigurename
    \@mkboth{\uppercase{\listfigurename}}{\uppercase{\listfigurename}}}%
  \@starttoc{lof}}

\def\l@figure{\@dottedtocline{1}{1.5em}{2.3em}}

\def\listoftables{\section*{\listtablename\@mkboth
   {\uppercase{\listtablename}}{\uppercase{\listtablename}}}%
  \@starttoc{lot}}
\let\l@table\l@figure

%***************************************
%Bibliography details
%***************************************
\def\thebibliography#1{\section*{\bf REFERENCES\@mkboth
 {\eightrm REFERENCES}{\eightrm REFERENCES}}\refsize\list
 {[\arabic{enumi}]~}{\settowidth\labelwidth{[0#1]~}\leftmargin\labelwidth
 \itemsep0pt% plus 1pt
 \parsep0pt\itemsep0pt
 \usecounter{enumi}}
 \def\newblock{\hskip .11em plus .33em minus .07em}
 \sloppy\clubpenalty4000\widowpenalty4000\interlinepenalty=100
 \sfcode`\.=1000\relax}
\let\endthebibliography=\endlist
\def\@biblabel#1{#1\hfill}

\def\citestr#1{\nocite{#1}\csname b@#1\endcsname}

\newif\if@restonecol

\setcounter{topnumber}{2}
\def\topfraction{.9}
\setcounter{bottomnumber}{2}
\def\bottomfraction{.9}
\setcounter{totalnumber}{3}
\def\textfraction{.1}
\def\floatpagefraction{.5}
\setcounter{dbltopnumber}{2}
\def\dbltopfraction{.9}
\def\dblfloatpagefraction{.5}

\long\def\@makecaption#1#2{
\vspace{6pt}
  \begin{center}
    {\captsize{\bf #1.}\quad #2\normalsize}
    \vspace{2pt}
  \end{center}
}

%***************************************
%Figures
%***************************************
\newcounter{figure}
\def\thefigure{\@arabic\c@figure}

\def\fps@figure{htbp}
\def\ftype@figure{1}
\def\ext@figure{lof}
\def\figure{\@float{figure}}
\let\endfigure\end@float
\@namedef{figure*}{\@dblfloat{figure}}
\@namedef{endfigure*}{\end@dblfloat}

%***************************************
%Title setting
%***************************************
\def\institute#1{\thanks{#1}}

\def\@thanks{}
 
%To link authors names in title
\def\and{{\enspace \rm and \enspace}}

\def\maketitle{\par
 \begingroup
   \def\thefootnote{\fnsymbol{footnote}}%
   \def\@makefnmark{\hbox                     %remove suppression
       to\z@{$\m@th^{\@thefnmark}$\hss}}%     %remove suppression
   \if@twocolumn
     \twocolumn[\@maketitle]%
     \else \newpage
     \global\@topnum\z@
     \@maketitle \fi\thispagestyle{empty}\@thanks
 \endgroup

 \setcounter{footnote}{0}%
 \let\maketitle\relax
 \let\@maketitle\relax
 \gdef\@thanks{}\gdef\@author{}
 \gdef\@title{}
 \let\thanks\relax}

\def\@maketitle{\newpage
 \null
 \begin{center}%
  {\tit@mysize\bf \@title \par}
  \vskip 1.5em
  {\aut@mysize\bf
   \begin{tabular}[t]{c}\@author
   \end{tabular}\par}%
 \end{center}%
 \par
 \vskip 1.5em}

\mark{{}{}}

\if@titlepage
  \@@input titlepag.sty\relax
\fi

% Alas we have to modify \maketitle to avoid resetting the footnote counter
% The original definition was from 
% article.sty 16-Mar-88
\def\@makefnmark{\hbox to 0pt{$^{\rm \@thefnmark}$\hss\ }}
\def\maketitle{\par
 \begingroup
%\def\thefootnote{\fnsymbol{footnote}}
\def\@makefnmark{\hbox
 to 0pt{$^{\rm \@thefnmark}$\hss}}
 \if@twocolumn 
 \twocolumn[\@maketitle] 
 \else \newpage
 \global\@topnum\z@ \@maketitle \fi\thispagestyle{plain}\@thanks
 \endgroup
% \setcounter{footnote}{0}
 \let\maketitle\relax
 \let\@maketitle\relax
 \gdef\@thanks{}\gdef\@author{}\gdef\@title{}\let\thanks\relax}

\if@twocolumn
\twocolumn
\else
 \onecolumn
\fi

%***************************************
%Table and figure captions
%***************************************
\def\fnum@table{\captsize\bf Table \thetable}
\def\fnum@figure{\captsize\bf Figure \thefigure}

\long\def\@caption#1[#2]#3{\addcontentsline{\csname
  ext@#1\endcsname}{#1}{\protect\numberline{\csname 
  the#1\endcsname}{\ignorespaces #2}}\par
  \begingroup
    \@parboxrestore
    \captsize
    \begin{center}
    \@makecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par
    \end{center} 
  \endgroup}

%***************************************
%Details for running feet
%***************************************
%section title 
\def\sectionfoot#1{\gdef\@sectionfoot{#1}}

% author name
\def\authorfoot#1{\gdef\@authorfoot{#1}}

%***************************************
%To set copyright details at foot of first page
%***************************************
% Supply start page for each paper

\def\ecai#1{
\setcounter{page}{#1}
\gdef\@myauth{\footsize\copyright\ 1996 \@authorfoot}
\gdef\@myref{\footsize ECAI 96. {\it 12th European Conference on 
  Artificial Intelligence\/}}
\gdef\@myedit{\footsize Workshop on Representation of Mathematical Knowledge}
\gdef\@mycopyright{\footsize Edited by H. Stoyan, K. Homann, S. Jacob,
M. Kerber} 
}

%Set page counter to one by default
\ecai{1}
\newcounter{pageone}

\def\myfootnote{%
\vbox{\footnotesize
\hbox{\vrule height 0pt depth 0pt width0pt}
\ifodd\count202\relax\else\ifnum\thepageone=\thepage%
\hbox to \textwidth{\leaders\hrule height 0.8pt\hfill}%
\fi%
\fi
\hbox to \textwidth{\hfill}
\hbox to \textwidth{\noindent \@myauth\hfill}
\hbox to \textwidth{\noindent \@myref\hfill}
\hbox to \textwidth{\noindent \@myedit\hfill}
\hbox to \textwidth{\noindent \@mycopyright \hfill}}}

%***************************************
%Pagestyle to give correct page depth for second and subsequent pages
%***************************************
\def\ps@ecaifirst{\let\@mkboth\@gobbletwo%
     \def\@oddhead{}%
     \def\@oddfoot{\myfootnote\global\textheight\ntextheight}%
     \def\@evenhead{}%
     \let\@evenfoot\@oddfoot}
\let\ps@empty\ps@ecaifirst
\let\ps@plain\ps@ecaifirst
\ps@empty

\def\ps@ecai{\let\@mkboth\@gobbletwo%
     \def\@oddfoot{\normalsize\hbox to 19.5pc{\bf\@sectionfoot\hfill}\hfill
                              \hbox to 3.0pc{\hfill\bf\thepage\hfill}\hfill
                              \hbox to 19.5pc{\hfill\bf\@authorfoot}
     }
     \let\@evenfoot\@oddfoot
     \def\@oddhead{}
     \let\@evenhead\@oddhead}

% Original from LATEX VERSION 2.09 <4 Aug 1988>
\def\@outputpage{\begingroup\catcode`\ =10 
     \let\-\@dischyph \let\'\@acci \let\`\@accii \let\=\@acciii
    \if@specialpage 
     \global\@specialpagefalse\@nameuse{ps@\@specialstyle}\fi
     \if@twoside 
       \ifodd\count\z@ \let\@thehead\@oddhead \let\@thefoot\@oddfoot
            \let\@themargin\oddsidemargin
          \else \let\@thehead\@evenhead
          \let\@thefoot\@evenfoot \let\@themargin\evensidemargin
     \fi\fi
     \shipout
     \vbox{\normalsize \baselineskip\z@ \lineskip\z@ 
           \let\par\@@par
           \vskip \topmargin \moveright\@themargin
           \vbox{\setbox\@tempboxa
                   \vbox to\headheight{\vfil \hbox to\textwidth
                                       {\let\label\@gobble \let\index\@gobble
                                         \@thehead}
                                                } 
                 \dp\@tempboxa\z@
                 \box\@tempboxa
                 \vskip \headsep
                 \box\@outputbox
                 \baselineskip\footskip
                 \hbox to\textwidth{\let\label\@gobble 
                           \let\index\@gobble  %% 22 Feb 87
                           \@thefoot}}}\global\@colht\textheight
           \endgroup\stepcounter{page}\let\firstmark\botmark
           }

\pagestyle{ecai}

\count202=0
\def\footnoterule{\global\advance\count202 by 1\kern-3\p@
  \hrule height 0.8pt\kern 2.2\p@} % this \hrule is .8pt high

\long\def\@makefntext#1{\ifnum\thefootnote<10\hangindent7pt\else\hangindent9pt\fi
$^{\rm\@thefnmark}$ #1}

\thispagestyle{ecaifirst}
\textheight\ftextheight

%***************************************
% The \LaTeX logo
%***************************************
\def\LaTeX{{\rm L\kern-.36em\raise.3ex\hbox{\sc A}\kern-.15em
    T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}}

%***************************************
% Theorems
%***************************************
\newtheorem{theorem}{Theorem}

%List within theorem
\newcounter{theoremlistno}
\newenvironment{theoremlist}{%
\begin{list}{\arabic{theoremlistno}.}{\usecounter{theoremlistno}
  \setlength{\leftmargin}{10pt}
  \setlength{\labelsep}{6pt}
  \setlength{\labelwidth}{6pt}
  \sl}}
{\end{list}}