%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Modification log%%%% 2004/03/25 v0.1 based on amsart.cls, inspired by jair.sty %% 2004/09/01 v0.2 based on amsart.cls%% 2004/10/12 v0.3 based on amsart.cls%% 2004/12/16 v0.4 based on amsart.cls%% 2005/01/24 v0.5 based on amsart.cls%% 2005/03/10 v0.6 based on amsart.cls%% 2006/07/24 v0.7 based on amsart.cls%% 2007/11/13 v0.8 based on amsart.cls%% %% Juergen Koslowski, Stefan Milius%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\NeedsTeXFormat{LaTeX2e}\ProvidesClass{lmcs} [2009/05/25 v0.8 LMCS Layout Editor Class]\DeclareOption*{\PassOptionsToClass{\CurrentOption}{amsart}}\ProcessOptions\relax\LoadClass[11pt,reqno]{amsart}\usepackage{helvet,cclicenses}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Use of this class, cf. also lmcs-smp.tex%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% This class builds upon the amsart class of AMS-LaTeX and requires use% of LaTeX 2e. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Start of the paper%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \documentclass{lmcs} %% without any options followed optionally by%% \usepackage{package1,package2,...}%% loading additional macro packages you may wish to use, (eg, xypic, etc.)% (This also is the place to define further theorem-environments, in case% those provided by default do not suffice, cf. below.)%% \begin{document}% \title[short_title]{real title}%% and a list of author information of the form%% \author[short_author1]{Author 1}% \address{address 1}% \email{author1@email1}% \thanks{thanks 1}%% \author[short_author2]{Author 2}% \address{address 2}% \email{author2@email2}% \thanks{thanks 2}%% \author[short_author3]{Author 3}% \address{address 3}% \email{author3@email3}% \thanks{thanks 3}%% The \email and \thanks fields are optional. The \thanks fields appear% in footnotes on the title page, the addresses and email information% is relegated to the end of the article. The optional arguments to% the \title and \author macros determine a running head on the odd% and even pages, respectively.%% Lists of keywords and phrases as well as an ACM Subject% classification are mandatory; these appear in footnotes on the% title page, preceeding any \thanks fields.%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Body of the paper%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% We encourage the use of LaTeX's crossreferencing capabilities with the% \label and \ref commands, for sections, subsections, theorems etc., and% displayed equations and figures.%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Theorems, Definitions etc.%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% The following theorem-like environments are available. The% numbering is consecutive within sections.%% thm Theorem% cor Corollary% lem Lemma% prop Proposition% asm Asumption%% defi Definition% rem Remark% rems Remarks (intended for use with itemized remarks)% exa Example% exas Examples (intended for use with itemized examples)% conj Conjecture% prob Problem% oprob Open Problem% algo Algorithm% obs Observation%% If you require additional environments, you can add them before% \begin{document} by means of%% \theoremstyle{plain}\newtheorem{env}[thm]{Environment}%% or%% \theoremstyle{definition}\newtheorem{env}[thm]{Environment}%% In the first case the font within the new environment will be italicised.%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Proofs%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Proofs start with the command \proof and should be ended by \qed,% which provides an end-of-proof box at the right margin:%% \proof ... \qed%% In itemized or enumerated proofs the \qed command has to occur BEFORE % \end{itemize} or \end{enumerate} to ensure proper placement of the box:%% \proof% \begin{itemize}% \item[(1)] ...% \item[(2)] ...% ...% \item[(n)] ... \qed% \end{itemize}%% Similarly, the box may be used within theorem environments, when no% explicit proof is given:%% \begin{thm} ... \qed \end{thm}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Itemized or enumerated environments and proofs%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% By default, the first item of an itemized (or enumerated) environment% or proof appears inlined on the same line as the environment title.% This can be prevented by placing \hfill before the itemization, e.g.:%% \begin{thm}\label{T:abc}\hfill% \begin{itemize} ...%% \proof\hfill% \begin{itemize} ...%% End of the paper%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Acknowledgements should be placed in a non-numbered section:%% \section*{Acknowledgement}%% The bibliography uses alpha.bst where references are built from the % authors' initials and the year of publication. The use of bibtex% for creating the bibliography is strongly encouraged. Then the% end of the paper takes the form%% \begin{thebibliography}{key}% \end{thebibliography}% \end{document}%% where ``key'' is the longest alphanumerical key expected to occur.%% Optionally, appendices can be inserted after the bibliography by% means of%% \end{thebibliography}% \appendix% \section{} % Appendix A% \section{} % Appendix B% % etc.% \end{document}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% actual macros%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\count255=\the\catcode`\@ \catcode`\@=11 \edef\catc@de{\the\count255}\newif\ifsuPer \suPertrue\def\rsuper#1{\ifsuPer${\,}^{\MakeLowercase #1}$\fi}%\def\lsuper#1{\ \hskip-2 pt\ifsuPer\llap{${}^{\MakeLowercase #1}\ $\fi}}%\def\titlecomment#1{\def\@titlecomment{#1}}\let\@titlecomment=\@empty\renewcommand{\sfdefault}{phv}\renewcommand*\subjclass[2][1991]{% \def\@subjclass{#2}% \@ifundefined{subjclassname@#1}{% \ClassWarning{\@classname}{Unknown edition (#1) of ACM Subject Classification; using '1991'.}% }{% \@xp\let\@xp\subjclassname\csname subjclassname@1998\endcsname }%}\@namedef{subjclassname@1998}{1998 ACM Subject Classification}\newcommand{\revisionname}{Revision Note}\newbox\revisionbox\newenvironment{revision}{% \ifx\maketitle\relax \ClassWarning{\@classname}{Revision should precede \protect\maketitle\space in LMCS documentclasses; reported}% \fi \global\setbox\revisionbox=\vtop \bgroup \normalfont\Small \list{}{\labelwidth\z@ \leftmargin3pc \rightmargin\leftmargin \listparindent\normalparindent \itemindent\z@ \parsep\z@ \@plus\p@ \let\fullwidthdisplay\relax }% \item[\hskip\labelsep\scshape\revisionname.]%}{% \endlist\egroup \ifx\@setrevision\relax \@setrevisiona \fi}\def\@setrevision{\@setrevisiona \global\let\@setrevision\relax}\def\@setrevisiona{% \ifvoid\revisionbox \else \skip@20\p@ \advance\skip@-\lastskip \advance\skip@-\baselineskip \vskip\skip@ \box\revisionbox \prevdepth\z@ % because \revisionbox is a vtop \bigskip\hrule\medskip \fi}\def\@setsubjclass{% {\itshape\subjclassname:}\enspace\@subjclass\@addpunct.}\def\@setkeywords{% {\itshape \keywordsname:}\enspace \@keywords\@addpunct.}\def\@settitlecomment{\@titlecomment\@addpunct.}\def\@maketitle{% \normalfont\normalsize \let\@makefnmark\relax \let\@thefnmark\relax \ifx\@empty\@date\else \@footnotetext{\@setdate}\fi \ifx\@empty\@subjclass\else \@footnotetext{\@setsubjclass}\fi \ifx\@empty\@keywords\else \@footnotetext{\@setkeywords}\fi \ifx\@empty\@titlecomment\else \@footnotetext{\@settitlecomment}\fi \ifx\@empty\thankses\else \@footnotetext{% \def\par{\let\par\@par}\@setthanks\par}\fi \@mkboth{\@nx\shortauthors}{\@nx\shorttitle}% \global\topskip12\p@\relax % 5.5pc " " " " " \topskip42 pt\@settitle \ifx\@empty\authors \else \@setauthors \fi \@setaddresses \ifx\@empty\@dedicatory \else \baselineskip18\p@ \vtop{\centering{\footnotesize\itshape\@dedicatory\@@par}% \global\dimen@i\prevdepth}\prevdepth\dimen@i \fi \endfront@text \bigskip\hrule\medskip \@setrevision \@setabstract \vskip-\bigskipamount \normalsize \if@titlepage \newpage \else \dimen@34\p@ \advance\dimen@-\baselineskip \vskip\dimen@\relax \fi}\def\@setaddresses{\par \nobreak \begingroup\footnotesize \def\author##1{\nobreak\addvspace\bigskipamount}% \def\\{\unskip, \ignorespaces}% \interlinepenalty\@M \def\address##1##2{\begingroup \par\addvspace\bigskipamount\noindent\narrower \@ifnotempty{##1}{(\ignorespaces##1\unskip) }% {\ignorespaces##2}\par\endgroup}% \def\curraddr##1##2{\begingroup \@ifnotempty{##2}{\nobreak\indent{\itshape Current address}% \@ifnotempty{##1}{, \ignorespaces##1\unskip}\/:\space ##2\par}\endgroup}% \def\email##1##2{\begingroup \@ifnotempty{##2}{\nobreak\indent{\itshape e-mail address}% \@ifnotempty{##1}{, \ignorespaces##1\unskip}\/:\space {##2}\par}\endgroup}% \def\urladdr##1##2{\begingroup \@ifnotempty{##2}{\nobreak\indent{\itshape URL}% \@ifnotempty{##1}{, \ignorespaces##1\unskip}\/:\space \ttfamily##2\par}\endgroup}% \addresses \endgroup}\copyrightinfo{}{}\newinsert\copyins\skip\copyins=3pc\count\copyins=1000 % magnification factor, 1000 = 100%\dimen\copyins=.5\textheight % maximum allowed per page\renewcommand{\topfraction}{0.95} % let figure take up nearly whole page\renewcommand{\textfraction}{0.05} % let figure take up nearly whole page%% Specify the dimensions of each page\setlength{\oddsidemargin}{.25 in} % Note \oddsidemargin = \evensidemargin\setlength{\evensidemargin}{.25 in}\setlength{\marginparwidth}{0.07 true in}\setlength{\topmargin}{-0.7 in}\addtolength{\headheight}{1.84 pt}\addtolength{\headsep}{0.25in}\addtolength{\voffset}{0.7 in}\setlength{\textheight}{8.5 true in} % Height of text (including footnotes & figures)\setlength{\textwidth}{6.0 true in} % Width of text line.\setlength{\parindent}{20 pt} % Width of text line.\widowpenalty=10000\clubpenalty=10000\@twosidetrue \@mparswitchtrue \def\ds@draft{\overfullrule 5pt}\raggedbottom%% Pagestyle%% Defines the pagestyle for the title page.%% Usage: \lmcsheading{vol}{issue}{year}{pages}{subm}{publ}{rev}{spec_iss}{title}\def\lmcsheading#1#2#3#4#5#6#7{\def\ps@firstpage{\let\@mkboth\@gobbletwo%\def\@oddhead{%\hbox{% \vbox to 30 pt{\scriptsize\vfill \hbox{\textsf{Logical Methods in Computer Science}\hfil} \hbox{\textsf{Vol.~? (?:?) 2???, ? pages}} \hbox{\textsf{www.lmcs-online.org}} \rlap{\vrule width\hsize depth .4 pt}}}\hfill\raise 4pt\hbox{% \vbox to 30 pt{\scriptsize\vfill \hbox{\textsf{}} \hbox{\textsf{}}}}\hfill\raise 4pt\hbox{% \vbox to 30 pt{\scriptsize\vfill \hbox to 94 pt{\textsf{Submitted\hfill date}} \hbox to 94 pt{\textsf{Published\hfill date}} }}}\def\@evenhead{}\def\@evenfoot{}}%\thispagestyle{firstpage}}\def\endfront@text{% \insert\copyins{\hsize\textwidth \fontsize{6}{7\p@}\normalfont\upshape \noindent\hbox{ \vbox{\fontsize{6}{8 pt}\baselineskip=6 pt\vss \hbox{\hbox to 20 pt{\hfill} \textsf{LOGICAL METHODS}\hfil} \hbox{\hbox to 20 pt{\phantom{x}} \textsf{IN COMPUTER SCIENCE}}}}\hfill\textsf{DOI:10.2168/LMCS-???}%\hfill\textsf{\copyright\shortauthors}\hfill\hbox{ \vbox{\fontsize{6}{8 pt}\baselineskip=6 pt\vss \hbox{\textsf{\,\,\copyright\quad \shortauthors}\hfil} \hbox{\textsf{Creative Commons}\hfil}}}\par\kern\z@}%}%\def\endfront@text{}\def\enddoc@text{}%% Defines the pagestyle for the rest of the pages%% Usage: \ShortHeadings{Minimizing Conflicts}{Minton et al}%% \ShortHeadings{short title}{short authors}%\def\firstpageno#1{\setcounter{page}{#1}}%\def\ShortHeadings#1#2{\def\ps@lmcsps{\let\@mkboth\@gobbletwo%%\def\@oddhead{\hfill {\small\sc #1} \hfill}%%\def\@oddfoot{\hfill \small\rm \thepage \hfill}%%\def\@evenhead{\hfill {\small\sc #2} \hfill}%%\def\@evenfoot{\hfill \small\rm \thepage \hfill}}%%\pagestyle{lmcsps}}%% MISCELLANY\def\@startsection#1#2#3#4#5#6{\bigskip% \if@noskipsec \leavevmode \fi \par \@tempskipa #4\relax \@afterindentfalse \ifdim \@tempskipa <\z@ \@tempskipa -\@tempskipa \@afterindentfalse\fi \if@nobreak \everypar{}\else \addpenalty\@secpenalty\addvspace\@tempskipa\fi \@ifstar{\@dblarg{\@sect{#1}{\@m}{#3}{#4}{#5}{#6}}}% {\@dblarg{\@sect{#1}{#2}{#3}{#4}{#5}{#6}}}%}\def\figurecaption#1#2{\noindent\hangindent 40pt \hbox to 36pt {\small\sl #1 \hfil} \ignorespaces {\small #2}}% Figurecenter prints the caption title centered.\def\figurecenter#1#2{\centerline{{\sl #1} #2}}\def\figurecenter#1#2{\centerline{{\small\sl #1} {\small #2}}}%% Allow ``hanging indents'' in long captions%\long\def\@makecaption#1#2{ \vskip 10pt \setbox\@tempboxa\hbox{#1: #2} \ifdim \wd\@tempboxa >\hsize % IF longer than one line: \begin{list}{#1:}{ \settowidth{\labelwidth}{#1:} \setlength{\leftmargin}{\labelwidth} \addtolength{\leftmargin}{\labelsep} }\item #2 \end{list}\par % Output in quote mode \else % ELSE center. \hbox to\hsize{\hfil\box\@tempboxa\hfil} \fi}% Define strut macros for skipping spaces above and below text in a% tabular environment.\def\abovestrut#1{\rule[0in]{0in}{#1}\ignorespaces}\def\belowstrut#1{\rule[-#1]{0in}{#1}\ignorespaces}%%% Theorem environments% the following environments switch to a slanted font:\theoremstyle{plain}\newtheorem{thm}{Theorem}[section]\newtheorem{cor}[thm]{Corollary}\newtheorem{lem}[thm]{Lemma}\newtheorem{prop}[thm]{Proposition}\newtheorem{asm}[thm]{Assumption}% the following environments keep the roman font:\theoremstyle{definition}\newtheorem{rem}[thm]{Remark}\newtheorem{rems}[thm]{Remarks}\newtheorem{exa}[thm]{Example}\newtheorem{exas}[thm]{Examples}\newtheorem{defi}[thm]{Definition}\newtheorem{conv}[thm]{Convention}\newtheorem{conj}[thm]{Conjecture}\newtheorem{prob}[thm]{Problem}\newtheorem{oprob}[thm]{Open Problem}\newtheorem{algo}[thm]{Algorithm}\newtheorem{obs}[thm]{Observation}\newtheorem{qu}[thm]{Question}\newtheorem{fact}[thm]{Fact}\newtheorem{pty}[thm]{Property}\numberwithin{equation}{section}% end-of-proof sign, to appear at right margin% Paul Taylor and Chris Thompson, Cambridge, 1986%\def\pushright#1{{% set up \parfillskip=0pt % so \par doesn't push #1 to left \widowpenalty=10000 % so we dont break the page before #1 \displaywidowpenalty=10000 % ditto \finalhyphendemerits=0 % TeXbook exercise 14.32 % % horizontal \leavevmode % \nobreak means lines not pages \unskip % remove previous space or glue \nobreak % don't break lines \hfil % ragged right if we spill over \penalty50 % discouragement to do so \hskip.2em % ensure some space \null % anchor following \hfill \hfill % push #1 to right {#1} % the end-of-proof mark (or whatever) % % vertical \par}} % build paragraph\def\qEd{{\lower1 pt\hbox{\vbox{\hrule\hbox{\vrule\kern4 pt \vbox{\kern4 pt\hbox{\hss}\kern4 pt}\kern4 pt\vrule}\hrule}}}}\def\qed{\pushright{\qEd} \penalty-700 \par\addvspace{\medskipamount}}\newenvironment{Proof}[1][\proofname]{\par \pushQED{\qed}% \normalfont \topsep6\p@\@plus6\p@\relax \trivlist \item[\hskip\labelsep \itshape #1]\ignorespaces}{% \popQED\endtrivlist\@endpefalse}\newenvironment{iteMize}[1]{\begin{enumerate}[#1]}{\end{enumerate}}\newenvironment{desCription}{\begin{enumerate}[\hbox to8 pt{\hfill}]}{\end{enumerate}}% Bibliographystyle\bibliographystyle{alpha}\endinput