% The Chicago Journal of Theoretical Computer Science, Volume 1996, Contents
% Published by MIT Press, Cambridge, Massachusetts USA
% Copyright 1996 by Massachusetts Institute of Technology
%
\newtoks\rstyle
\rstyle={cjlook}
%
\ifx\documentclass\undeftex
\documentstyle[v1.1,contents]{cjstruct}
\else
\documentclass[v1.1,contents]{cjstruct}
\fi
%
\newcommand{\textuprm}[1]{\textup{\textrm{#1}}}
\ifltwoe\else\newcommand{\textup}[1]{{\rm #1\/}}\fi
\ifltwoe\else\newcommand{\textrm}[1]{{\rm #1\/}}\fi
\mathstyleclass{\complexityclass}{\mathord}{\textuprm}
%
\ifltwoe\else\newcommand{\textmd}[1]{{\rm #1\/}}\fi
\ifltwoe\else\newcommand{\textit}[1]{{\it #1\/}}\fi
%
\newcommand{\cjtocind}{\hspace*{1em}}
%
\newlength{\cjcontparwidth}
\newlength{\cjcontpardec}
\settowidth{\cjcontpardec}{\cjtocind}
\newlength{\cjcontlabdec}
\setlength{\cjcontlabdec}{1.4em}
%
\newcommand{\cjcontentsline}[4]{{%
  \setlength{\cjcontparwidth}{\textwidth}
  \contentsline{section}{{%
    #1.
    \addtolength{\cjcontparwidth}{-\cjcontlabdec}
    \parbox[t]{\cjcontparwidth}{{\raggedright #2\\
      \addtolength{\cjcontparwidth}{-\cjcontpardec}
      \cjtocind\parbox[t]{\cjcontparwidth}{{\raggedright\textmd{#3}\\
        \cjtocind\parbox[t]{\cjcontparwidth}{\raggedright\textmd{\textit{#4}}}
      }}%
    }}%
  }}%
  {}%
}}%
%
\newcommand{\cjaddtocontents}[4]{%
  \addtocontents{toc}{\protect\cjcontentsline{#1}{#2}{#3}{#4}}
}
%
% Macros for the publisher's comment
%
% The circle R symbol for a registered trade name is adapted from the
% circled c copyright symbol defined in The TeXBook by Donald Knuth.
%
\def\registered{\({}^{\ooalign%
    {\hfil\raise.07ex\hbox{{\tiny\textup{R}}}%
    \hfil\crcr\scriptsize\mathhexbox20D}}\)}
%
% Macros for the editors' comment
%
% The cross symbol indicates a recently deceased editor.
%
\ifx\deceased\undeftex
  \newcommand{\deceased}[1]{\dag#1}
\fi
%
% end of local macro definitions for this article
%
\begin{document}
%
\begin{articleinfo}
%
\publisher{The MIT Press}
%
\publishercomment{%
  {\Large
    \begin{center}
      Volume 1996, Contents\\
      {\it 31 December 1996}
    \end{center}
  }
  \par\noindent
  ISSN 1073--0486\@. MIT Press Journals, 55 Hayward St., Cambridge, MA
  02142; (617)253-2889; {\em journals-orders@mit.edu, journals-info@mit.edu}\@.
  Published one article at a time in \LaTeX\ source form on the
  Internet\@. Pagination varies from copy to copy\@. For more
  information and other articles see:
  \begin{itemize}
    \item \emph{http://www-mitpress.mit.edu/jrnls-catalog/chicago.html/}
    \item \emph{http://www.cs.uchicago.edu/publications/cjtcs/}
    \item \emph{ftp://mitpress.mit.edu/pub/CJTCS}
    \item \emph{ftp://cs.uchicago.edu/pub/publications/cjtcs}
  \end{itemize}
  \sentence
  \par\noindent
  The \emph{Chicago Journal of Theoretical Computer Science} is
  abstracted or indexed in \emph{Research Alert,\registered
  SciSearch,\registered Current Contents\registered/Engineering
  Computing \& Technology}, and \emph{CompuMath Citation Index\@.\registered}
}
%
\copyrightstmt{%
  \copyright 1996 The Massachusetts Institute of Technology\@.
  Subscribers are licensed to use journal articles in a variety of
  ways, limited only as required to insure fair attribution to authors
  and the journal, and to prohibit use in a competing commercial
  product\@. See the journal's World Wide Web site for further
  details\@. Address inquiries to the Subsidiary Rights Manager, MIT
  Press Journals; (617)253-2864;
  {\em journals-rights@mit.edu}\@.\pagebreak[2]
}
%
\journal{Chicago\nolinebreak[1] Journal of Theoretical Computer\nolinebreak[1] Science}
%
\journalcomment{%
  The {\em Chicago Journal of Theoretical Computer Science\/}
  is a peer-reviewed scholarly
  journal in theoretical computer science\@. The journal is committed
  to providing a forum for significant results on theoretical
  aspects of all topics in Computer Science\@.
  \par
  \begin{trivlist}
    \item[{\em Editor in chief:}] Janos Simon
    \item[{\em Consulting editors:}]
      Joseph Halpern, Stuart A.\ Kurtz, Raimund Seidel
    \item[{\em Editors:}]
      \begin{tabular}[t]{lll}
        Martin Abadi & Greg Frederickson & John Mitchell \\
        Pankaj Agarwal & Andrew Goldberg & Ketan Mulmuley \\
        Eric Allender & Georg Gottlob & Gil Neiger \\
        Tetsuo Asano & Vassos Hadzilacos & David Peleg \\
        Laszl\'o Babai & Juris Hartmanis & Andrew Pitts \\
        Eric Bach & Maurice Herlihy & James Royer \\
        Stephen Brookes & Ted Herman & Michael Merritt \\
        Jin-Yi Cai & Steve Homer & Alan Selman \\
        Anne Condon & Neil Immerman & Nir Shavit \\
        Cynthia Dwork & \deceased{Paris Kanellakis} & Eva Tardos \\ 
        David Eppstein & Howard Karloff & Sam Toueg \\
        Ronald Fagin & Philip Klein & Moshe Vardi \\
        Lance Fortnow & Phokion Kolaitis & Jennifer Welch \\
        Steven Fortune & Stephen Mahaney & Pierre Wolper
      \end{tabular}
    \vspace{1ex}
    \item[{\em Managing editor:}] Michael J.\ O'Donnell
    \vspace{1ex}
    \item[{\em Electronic mail:}] {\em chicago-journal@cs.uchicago.edu}
  \end{trivlist}
\sentence
}
%
\bannerfile{cjtcs-banner.tex}
%
\volume{1996}
%
\articleid{Contents}
%
\begin{retrievalinfo}
\end{retrievalinfo}
%
\title{Contents of Volume 1996}
\shorttitle{Contents 1996}
\collectiontitle{}
%
\shortauthors{Editorial}
%
\begin{editinfo}
  \published{31}{12}{1996}
\end{editinfo}
%
\end{articleinfo}
%
\begin{articletext}
%
\par
\tableofcontents
%
\cjaddtocontents{1}{%
  Rank Predicates vs.\ Progress Measures in Concurrent-Program Verification%
}%
  {Moshe~Y.~Vardi}%
  {9 February 1996}%
%
\cjaddtocontents{2}{%
  Sparse Hard Sets for P Yield Space-Efficient Algorithms%
}%
  {Mitsunori Ogihara}%
  {27 March 1996}
%
\cjaddtocontents{3}{%
  Optimal Virtual Path Layout in ATM Networks with Shared Routing
  Table Switches%
}%
  {Ornan Gerstel, Israel Cidon, Shmuel Zaks}%
  {31 October 1996}
%
\cjaddtocontents{4}{%
  Weakly Growing Context-Sensitive Grammars%
}%
  {Gerhard Buntrock, Gundula Niemann}%
  {13 November 1996}
%
\cjaddtocontents{5}{%
  Uniform Self-Stabilizing Orientation of Unicyclic Networks under
  Read/Write Atomicity%
}%
  {H.\ James Hoover}%
  {5 December 1996}
%
\cjaddtocontents{6}{%
  Manhattan Channel Routing is NP-Complete under Truly Restricted
  Settings%
}%
  {Martin Middendorf}%
  {30 December 1996}
%
\end{articletext}
%
\end{document}
