% Modified for WCCFL 20 proceedings papers by Jan W. Amtrup, 21 February 2001
% Send questions and bug reports to jamtrup@att.net
% Modified for IWPT 2000 proceedings papers by John Carroll, 8 December 1999
% Modified for IWPT'97 proceedings papers by Hugo ter Doest, 3 July 1997
% Modified for ACL proceedings papers by Don Walker, 16 March 1993.
% Modified for AAAI-90 by Peter F. Patel-Schneider, 1 March 1990, from the
% LaTex style file for IJCAI'89.

% Place this in a file called wccfl.sty in the TeX search path.  (Placing
% it in the same directory as the paper should also work.)

% Prepared by Peter F. Patel-Schneider, liberally using the ideas of
% other style hackers, including Barbara Beeton.
% This style is NOT guaranteed to work.  It is provided in the hope
% that it will make the preparation of papers easier.
%
% The preparation of this file was supported by Schlumberger Palo Alto
% Research, AT\&T Bell Laboratories, and Morgan Kaufmann Publishers.

% These instructions can be modified and used in other conferences as long
% as credit to the authors and supporting agencies is retained, this notice
% is not changed, and further modification or reuse is not restricted.

\typeout{Conference Style for WCCFL 20 Proceedings -- released 21 February 2001}

% Physical page layout
\setlength\topmargin{.5in} 
\setlength\headheight{.25in}   
\setlength\headsep{.25in}
\setlength\textheight{7in}
\setlength\oddsidemargin{1.13in}
\setlength\evensidemargin{1.13in}
\setlength\textwidth{4.25in} %
\setlength\footskip{.35in}

% We're never going to need a table of contents, so just flush it to
% save space --- suggested by drstrip@sandia-2
\def\addcontentsline#1#2#3{}

% Modified running headers
\def\header#1{\def\@header{#1}}
\def\@header{}
  \gdef\ps@wccfl{%
      \let\@oddfoot\@empty\let\@evenfoot\@empty
      \def\@evenhead{\makebox[2in][l]{\thepage}\hskip-2in\hfil{}WCCFL 23\hfil}%
      \def\@oddhead{\makebox[\textwidth]{\hfil\@header\hfil}\hskip-2in{}\makebox[2in][r]{\thepage}}
      \let\@mkboth\markboth
    \def\sectionmark##1{%
      \markboth {\MakeUppercase{%
        \ifnum \c@secnumdepth >\z@
          \thesection\quad
        \fi
        ##1}}{}}%
    \def\subsectionmark##1{%
      \markright {%
        \ifnum \c@secnumdepth >\@ne
          \thesubsection\quad
        \fi
        ##1}}}

% Pagestyle for first page: Copyright notice in the bottom
\def\frompage#1{\def\@frompage{#1}}
\def\@frompage{}
\def\topage#1{\def\@topage{#1}}
\def\@topage{}
\def\cpauthor#1{\def\@cpauthor{#1}}
\def\@cpauthor{}
\def\footmark{\vspace*{3ex}\vbox{%
%\hbox to \textwidth{\small\copyright{} 2003 \@cpauthor. {\em WCCFL 22 Proceedings},\hfil}
%\hbox to \textwidth{ed.~G.~Garding and M.~Tsujimura, pp.~\@frompage--\@topage.
%Somerville, MA: Cascadilla Press.\hfil}}}
\parbox{\textwidth}{\small\copyright{} 2004 \@cpauthor. {\em WCCFL 23 Proceedings},
ed.~G.~Garding and M.~Tsujimura, pp.~\@frompage--\@topage.
Somerville, MA: Cascadilla Press.}}}
\def\ps@firstpage{\let\@mkboth\markboth
  \def\@oddfoot{\footnotesize\footmark\hfill}
  \def\@evenfoot{\footnotesize\hfill\footmark}
  \def\@evenhead{}
  \def\@oddhead{}
  \def\sectionmark##1{}
  \def\subsectionmark##1{}}

% Pagestyle settings for first and other pages
\thispagestyle{firstpage}
\pagestyle{wccfl}
\flushbottom \sloppy

% Title stuff, taken from deproc and article.cls
\def\affiliation#1{\def\affil{#1}}
\def\affil{}
\def\maketitle{\par
 \def\baselinestretch{1}
 \begingroup
   \def\thefootnote{\fnsymbol{footnote}}
    \def\@makefnmark{}
    \long\def\@makefntext##1{\parindent 0pt\noindent
            \hb@xt@.25in{%
                \@textsuperscript{\normalfont\@thefnmark}\hss}##1}%
   \@maketitle \@thanks
 \endgroup
 \setcounter{footnote}{0}
 \setcounter{page}{\@frompage}
 \let\maketitle\relax \let\@maketitle\relax
 \gdef\@thanks{}\gdef\@author{}\gdef\@title{}\let\thanks\relax}
\def\@maketitle{
 \noindent{\LARGE\bf \@title}\par\mbox{}\par
 {\noindent \Large \@author}\par\noindent{\em \affil}\par\mbox{}\par
}
\setcounter{secnumdepth}{2}

% Footnotes
\skip\footins 9pt plus 4pt minus 2pt
\def\footnoterule{\kern-3pt \hrule width .5\textwidth \kern 2.6pt }
\setcounter{footnote}{0}
\renewcommand\@makefntext[1]{%
  \parindent0pt%
  \noindent%
  \hb@xt@.25in{{\normalfont\@thefnmark.}\hss}#1}


% Lists and paragraphs
\parindent .25in
\topsep 4pt plus 1pt minus 2pt
\partopsep 1pt plus 0.5pt minus 0.5pt
\itemsep 2pt plus 1pt minus 0.5pt
\parsep 2pt plus 1pt minus 0.5pt

% Section headings
% Even the first paragraph should be indented
\def\@afterheading{%
  \@nobreaktrue
  \everypar{%
    \if@nobreak
      \@nobreakfalse
      \clubpenalty \@M
      \if@afterindent \else
        {\setbox\z@\lastbox}%
      \fi
    \else
      \clubpenalty \@clubpenalty
      \everypar{}%
    \fi}%
    \hskip.25in}

% Section spacing
\renewcommand\section{\@startsection {section}{1}{\z@}%
                                   {-2.5ex \@plus -1ex \@minus -.2ex}%
                                   {2.3ex \@plus.2ex}%
                                   {\normalfont\bfseries}}
\renewcommand\subsection{\@startsection{subsection}{2}{\z@}%
                                     {-2ex\@plus -1ex \@minus -.2ex}%
                                     {2ex \@plus .2ex}%
                                     {\normalfont\bfseries}}

% Section numbering with periods after the numbers
% Also, only an \enskip after the number instead of a \quad
%\renewcommand{\thesection}{\arabic{section}.\hskip-.5em}
%\renewcommand{\thesubsection}{\arabic{section}.\arabic{subsection}.\hskip-.5em}
\renewcommand{\thesection}{\arabic{section}}
\renewcommand{\thesubsection}{\arabic{section}.\arabic{subsection}}
\def\@seccntformat#1{\csname the#1\endcsname.\hskip.5em}

\leftmargin 10pt \leftmargini\leftmargin \leftmarginii 10pt
\leftmarginiii 5pt \leftmarginiv 5pt \leftmarginv 5pt \leftmarginvi 5pt
\labelwidth\leftmargini\advance\labelwidth-\labelsep \labelsep 5pt

\def\@listi{\leftmargin\leftmargini}
\def\@listii{\leftmargin\leftmarginii
   \labelwidth\leftmarginii\advance\labelwidth-\labelsep
   \topsep 2pt plus 1pt minus 0.5pt
   \parsep 1pt plus 0.5pt minus 0.5pt
   \itemsep \parsep}
\def\@listiii{\leftmargin\leftmarginiii
    \labelwidth\leftmarginiii\advance\labelwidth-\labelsep
    \topsep 1pt plus 0.5pt minus 0.5pt 
    \parsep \z@ \partopsep 0.5pt plus 0pt minus 0.5pt
    \itemsep \topsep}
\def\@listiv{\leftmargin\leftmarginiv
     \labelwidth\leftmarginiv\advance\labelwidth-\labelsep}
\def\@listv{\leftmargin\leftmarginv
     \labelwidth\leftmarginv\advance\labelwidth-\labelsep}
\def\@listvi{\leftmargin\leftmarginvi
     \labelwidth\leftmarginvi\advance\labelwidth-\labelsep}

\abovedisplayskip 7pt plus2pt minus5pt%
\belowdisplayskip \abovedisplayskip
\abovedisplayshortskip  0pt plus3pt%   
\belowdisplayshortskip  4pt plus3pt minus3pt%

% Less leading in most fonts (due to the narrow columns)
% The choices were between 1-pt and 1.5-pt leading
\def\@normalsize{\@setsize\normalsize{10pt}\xpt\@xpt}
\def\small{\@setsize\small{9pt}\ixpt\@ixpt}
%\def\footnotesize{\@setsize\footnotesize{9pt}\viiipt\@viiipt}
\def\footnotesize{\@setsize\footnotesize{9pt}\ixpt\@ixpt}
\def\scriptsize{\@setsize\scriptsize{9pt}\ixpt\@ixpt}
%\def\tiny{\@setsize\tiny{7pt}\vipt\@vipt}
%\def\large{\@setsize\large{12pt}\xipt\@xipt}
\def\Large{\@setsize\Large{14pt}\xivpt\@xivpt}
\def\LARGE{\@setsize\LARGE{18pt}\xviipt\@xviipt}
%\def\huge{\@setsize\huge{20pt}\xviipt\@xviipt}
%\def\Huge{\@setsize\Huge{23pt}\xxpt\@xxpt}