% Carleton Scientific Style for LaTeX 
\typeout{Document Style `CS'}
\usepackage{ifthen,times,epsfig,latexsym,amssymb,amsmath,amsfonts,mathptm,algorithm}
\pagestyle{myheadings}

% replace the following with the main title of the proceedings:
\markboth{Proceedings in Informatics}{}

\special{papersize=6in,9in}
\setlength{\paperwidth}{6in}\setlength{\paperheight}{9in}

\newcounter{art}
\frenchspacing

\newtheorem{claim}{Claim}
\newtheorem{corollary}{Corollary}
\newtheorem{definition}{Definition}
\newtheorem{example}{Example}
\newtheorem{exercise}{Exercise}
\newtheorem{fact}{Fact}
\newtheorem{lemma}{Lemma}
\newtheorem{note}{Note}
\newtheorem{obs}{Observation}
\newtheorem{problem}{Problem}
\newtheorem{property}{Property}
\newtheorem{proposition}{Proposition}
\newtheorem{question}{Question}
\newtheorem{ru}{Rule}
\newtheorem{solution}{Solution}
\newtheorem{theorem}{Theorem}

\newcommand{\resetart}{%
\setcounter{part}{0}
\setcounter{section}{0}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{claim}{0}
\setcounter{corollary}{0}
\setcounter{definition}{0}
\setcounter{example}{0}
\setcounter{exercise}{0}
\setcounter{lemma}{0}
\setcounter{note}{0}
\setcounter{obs}{0}
\setcounter{problem}{0}
\setcounter{property}{0}
\setcounter{proposition}{0}
\setcounter{question}{0}
\setcounter{ru}{0}
\setcounter{solution}{0}
\setcounter{theorem}{0}
\setcounter{equation}{0}
\setcounter{tocdepth}{0}
\stepcounter{art}
\thispagestyle{plain}
\normalsize}

\resetart
\raggedbottom

\newenvironment{proof}{
\begin{sloppypar}
\vspace{.5pc}
\noindent
\textbf{Proof. }
\upshape
\mdseries
}{% following line needs to be checked for box position
% (\hspace*{\fill} fails on some occasion
\,\hfill$\Box$
\par
\vspace{.25pc}
\end{sloppypar}
}

\newenvironment{proofsk}{
\begin{sloppypar}
\vspace{.25pc}
\noindent
\textbf{Proof Sketch. }
\upshape
\mdseries
}{% following line needs to be checked for box position
% (\hspace*{\fill} fails on some occasion
\,\hfill$\Box$
\par
\vspace{.25pc}
\end{sloppypar}
}

\newenvironment{remark}[1]{\textbf{Remark: }}
{\par\vspace{.25pc}}

\setlength{\parskip}{0pt}
\setlength{\oddsidemargin}{72pt}
\setlength{\evensidemargin}{72pt}
\setlength{\marginparwidth}{60pt}
\setlength{\marginparsep}{10pt}
\setlength{\topmargin}{-3pc}
\setlength{\headheight}{12pt}
\setlength{\headsep}{12pt}
\setlength{\footskip}{20pt}
\setlength{\textwidth}{27pc}
\setlength{\textheight}{43pc}
\setlength{\parsep}{0pc}
\setlength{\columnsep}{1pc}
\setlength{\columnseprule}{0pt}

\renewcommand{\title}[1]{%
\begin{center}
\setlength{\baselineskip}{26pt}\LARGE\textbf{#1}
\par\vspace{1.5pc}
\end{center}
}

\newenvironment{authorgroup}
{\par\noindent}
{\par\vspace{1.5pc}}

\renewcommand{\author}[2]{%
\begin{center}{\large\textsc{#1}}\\
{\normalsize\textit{#2}}
\end{center}
}

\newcommand{\tocauth}[2]{%
\par\noindent\hangindent=0pc
{\em #1}
}
\newcommand{\tocchp}[2]{%
\par\hangindent=1pc\hangafter=0\noindent
#1 \dotfill\ #2\\
}

\newcommand{\keywords}[1]{%
\par\begin{center}\small\textbf{Keywords}\\[4pt]#1\\\end{center}}

\newenvironment{biog}[1]{%
\begin{sloppypar}
\setlength{\baselineskip}{10pt}
\vspace{8pt}\noindent\begin{small}\textbf{#1} }
{\end{small}\end{sloppypar}}

\newcommand{\research}[1]{\renewcommand{\thefootnote}{\fnsymbol{footnote}}\footnote[1]{#1}\renewcommand{\thefootnote}{\arabic{footnote}}\setcounter{footnote}{0}}

\newcommand{\Headright}[1]{\markright{#1}\rhead}
\newcommand{\rhead}{%
  \def\@evenhead{\protect\rule[-4pt]{\textwidth}{.5pt}\kern-\textwidth
                 \rm \thepage \hfill \leftmark \hfill }     % Left heading.
  \def\@oddhead{\protect\rule[-4pt]{\textwidth}{.5pt}\kern-\textwidth
                \hfill\textit{\rightmark}\hfill \rm\thepage}    % Right heading.
}
\setlength{\headheight}{2\baselineskip}
\setlength{\headsep}{1.5pc}

\newcommand{\csaddress}{\vspace{2pc}\par Carleton Scientific\\
P.O. Box 12, V\&P\\
University of Waterloo\\
Waterloo, Ontario\\
Canada  N2L 3G0\\[.5pc]
http://www.carleton-scientific.com\\
e-mail: editor@carleton-scientific.com}
\def\typeset{\vfill{\small\noindent This book was processed using
the \LaTeXe\ macro package with the Carleton Scientific style
package, cs.sty.\par}}
% end of cs.sty