% Created in October 1990 at Northwestern University.
% Modified in September 1991.
% Modified in October 1991.
% Modified in June 1994

%% use IJFCS style with default 10 pt roman font
\documentstyle[IJFCS]{article}

%%The next four lines can be commented out.
%%They are used to get the postcript figure (IJFCSfig.eps)
%%incorporated into the text.
\includeonly{}
\input psfig
\input epsf
\epsfverbosetrue
\newcommand\hvcite[1]{[\refcite{#1}]}

\begin{document}
%% print out the publisher copyright heading
\copyrightheading

%% use symbolic footnote
\symbolfootnote

%% use normal text like skip (13pt)
\textlineskip

\begin{center}

%% print out titles in IJFCS format
\fcstitle{INSTRUCTIONS FOR TYPESETTING CAMERA-READY\\
        MANUSCRIPTS USING COMPUTER SOFTWARE\footnote{For the title,
        try not to use more than 3 lines.
        Typeset the title in 10 pt Times Roman, uppercase and boldface.}}

\vspace{24pt}

{\authorfont FIRST AUTHOR\footnote{ Typeset names in 8 pt Times Roman,
        uppercase.  Use the footnote to indicate the present or permanent
        address of the author.}}

\vspace{2pt}

%% use smaller line skip here
\smalllineskip
{\addressfont University Department, University Name, Address\\
        City, State ZIP/Zone, Country\footnote{ State completely
        without abbreviations, the affiliation and
        mailing address, including country. Typeset in 8 pt Times Italic.}}

\vspace{10pt}
and

\vspace{10pt}
{\authorfont SECOND AUTHOR}

\vspace{2pt}
\smalllineskip
{\addressfont Group, Laboratory, Address\\
              City, State ZIP/Zone, Country}

\vspace{20pt}
%% authors need not care about this
\publisher{(received date)}{(revised date)}{Editor's name}

\end{center}

\alphfootnote

%% abstract environment
\begin{abstract}
The abstract should summarize the context, content and conclusions of the
paper in less than 200 words. It should not contain any references or displayed
equations. Typeset the abstract in 8 pt Times Roman with baselineskip of
10 pt, making an indentation of 1.5 pica on the left and right margins.
Typeset similarly for keywords below.\footnotemark
\keywords{List four to six; Should characterize article.}
\end{abstract}
\footnotetext{This is an abstract footnote}

\textlineskip
\section{General Appearance}
Contributions to the {\tenit International Journal of Foundations of
Computer Science}
will be reproduced by photographing the author's submitted typeset
manuscript. It is therefore essential that the manuscript be in its final form,
and of good appearance because it will be printed directly without any editing.
The manuscript should also be clean and unfolded. The copy should be evenly
printed on a high resolution printer (300 dots/inch or higher). If
typographical errors cannot be avoided, use cut and paste methods to correct
them. Smudged copy, pencil or ink text corrections will not be accepted. Do
not use cellophane or transparent tape on the surface as this interferes with
the picture taken by the publisher's camera.

\section{The Main Text}
Contributions are to be in English. Authors are encouraged to have their
contribution checked for grammar. American spelling should be used.
Abbreviations are allowed but should be spelt out in full when first used.
Integers ten and below are to be spelt out. Italicize foreign language phrases
(e.g. Latin, French).

The text is to be typeset in 10 pt Times Roman, single spaced with
baselineskip of 13 pt. Text area (excluding running title) is 5 inches
(30 picas) across and 7.8 inches (47 picas) deep. Final pagination and
insertion of running titles will be done by the publisher. Number each page
of the manuscript lightly at the bottom with a blue pencil. Reading copies
of the paper can be numbered using any legible means (typewritten or
handwritten).

\section{Major Headings}
Major headings should be typeset in boldface with the first letter of
important words capitalized.

\subsection{Sub-headings}
Sub-headings should be typeset in italic with the first letter of
important words capitalized.

\subsubsection{Sub-subheadings}
Typeset sub-subheadings in medium face and capitalize the first letter of the
first word only.

\subsection{Numbering and Spacing}
Sections, sub-sections and sub-subsections are numbered in Arabic. Use
double spacing after major and subheadings, and single spacing after
sub-subheadings.

\subsection{Lists of Items}
Lists may be laid out with each item marked by a dot:

 one can define the following list formats to be newenvironments.
\begin{itemlist}
\item item one,
\item item two.
\end{itemlist}

Items may also be numbered in lowercase Roman numerals:

\begin{romanlist}
\item item one
\item item two
        \begin{alphlist}
        \item Lists within lists can be numbered with lowercase Roman letters,
        \item second item.
        \end{alphlist}
\end{romanlist}

\section{Equations}
Displayed equations should be numbered consecutively in each section, with
the number set flush right and enclosed in parentheses.

\begin{equation}
 \mu(n, t) = \frac{\sum^\infty_{i=1} 1(d_i < t, N(d_i) = n)}
    {\int^t_{\sigma=0} 1(N(\sigma) = n)d\sigma} \label{this}
\end{equation}

Equations should be referred to in abbreviated form, e.g. ``Eq.(\ref{this})'' or
``(\ref{this})''. In multiple-line equations, the number should be given on the
last line.

Displayed equations are to be centered on the page width. Standard English
letters like x are to appear as $x$ (italicized) in the text if they are used
as mathematical symbols. Punctuation marks are used at the end of
equations as if
they appeared directly in the text.

\begin{theorem}
Theorems, lemmas, etc. are to be numbered consecutively in the paper.
\end{theorem}

\proof{Proofs should end with}

\section{Illustrations and Photographs}
Figures are to be inserted in the text nearest their first reference. Original
india ink drawings of glossy prints are preferred. Please send one set of
originals with copies. If the author requires the publisher to reduce the
figures, ensure that the figures (including letterings and numbers) are
large enough to be clearly seen after reduction. If photographs are to be
used, only black and white ones are acceptable.

\begin{figure}[htbp]
%\vspace{1.5in}
%\fcaption{Labeled tree {\it T.}}
%\end{figure}
\begin{center}
\
\psfig{figure=IJFCSfig.eps,width=1.5in,height=1.5in}
\fcaption{Labeled tree {\it T.}}
\end{center}
\end{figure}

Figures are to be sequentially numbered in Arabic numerals. The caption must
be placed below the figure. Typeset in 8 pt Times Roman with baselineskip
of 10 pt. Use double spacing between a caption and the text that follows
immediately.

Previously published material must be accompanied by written permission from
the author and publisher.

\section{Tables}
Tables should be inserted in the text as close to the point of reference as
possible. Some space should be left above and below the table.

Tables should be numbered sequentially in the text in Arabic numerals. Captions
are to be centralized above the tables. Typeset tables and captions in 8 pt
Times Roman with baselineskip of 10 pt.

\begin{table}[htbp]
\tcaption{Number of tests for WFF triple NA = 5, or NA = 8.}
\begin{center}
NP\\
\ \\
\begin{tabular}{|l||c|c|c|c|c|} \hline
&  & 3& 5 & 8 & 10\\
&  &  &   &   &   \\
\hline
& 3& 1200& 2000 & 2500 & 3000\\
NC& 5& 2000& 2200 & 2700 & 3400\\
& 8& 2500& 2700 & 16000 & 22000\\
& 10& 3000& 3400 & 22000 & 28000\\
&  &  &   &   &   \\
\hline
\end{tabular}
\end{center}
\end{table}

If tables need to extend over to a second page, the continuation of the table
should be preceded by a caption, e.g. ``Table 2. Cont'd.''

\section{References}
References in the text are to be numbered consecutively in
Arabic numerals.
They should be listed in alphabetical order of the first author
(Use the style shown in the examples listed in {\bf References} section).
They are to be cited in bracketed form, as in this example \cite{B,C,D}.
Where it might cause
ambiguity, cite references in brackets in abbreviated form,
e.g. see Refs.~[\refcite{B,C}].
or Refs.~\cite{D,LB}.

\section{Footnotes}
Footnotes should be numbered sequentially in superscript lowercase Roman
letters\footnote{ Footnotes should be typeset in 8 pt Times Roman
            at the bottom of the page.}.

\nonumsection{Acknowledgements}
This section should come before the References.
Funding information may also be included here.

\nonumsection{References}
%References are to be listed in the order cited in the text. Use the style
%shown in the following examples. For journal names, use the standard
%abbreviations. Typeset references in 9 pt Times Roman.

\begin{thebibliography}{9}

\bibitem{B} M. J. Beeson, {\it Foundations of Constructive Mathematics}
(Springer, Berlin, 1985).
\bibitem{C} K. L. Clark, ``Negations as failure,'' in {\it Logic and Data
Bases}, eds. H. Gallaire and J. Winker (Plenum Press, New York, 1973) pp.
293--306.
\bibitem{D} D. Dolve, ``Unanimity in an unknown and unreliable environment,''
{\it Proc. 22nd Annual Symposium on Foundations of Computer Science},
Nashville, TN, Oct. 1981, pp. 159--168.
\bibitem{G} W. L. Gewirtz, ``Investigations in the theory of descriptive
complexity,''  Ph. D. Thesis, New York University, 1974.
\bibitem{J} M. Joliat, ``A simple technique for partial elimination of unit
productions from LR({\it k}) parsers,''
{\it IEEE Trans. Comput.} {\bf C-27} (1976) 753--764.
\bibitem{LB} R. Lorentz and D. B. Benson, ``Deterministic and nondeterministic
flow-chart interpretations,''  {\it J. Comput. System Sci.} {\bf 27}
(1983) 400--433.
\bibitem{TBT} R. Tamassia, C. Batini and M. Talamo, ``An algorithm for automatic
layout of entity relationship diagrams,''  in {\it Entity-Relationship
Approach to Software Engineering, Proc. 3rd Int. Conf. on Entity-Relationship
Approach}, eds. C. G. Davis, S. Jajodia, P. A. Ng and R. T. Yeh
(North-Holland, Amsterdam, 1983) pp. 421--439.

\end{thebibliography}

\appendix{}
Appendices should be used only when absolutely necessary. They should come
after the References. If there is more than one appendix, number them
alphabetically. Number displayed equations occurring in the Appendix
in this way, e.g. (A.1), (A.2), etc.

\end{document}