\begin{thebibliography}{}

\bibitem[\protect\citename{Allen, }1983]{allen:time}
James~F. Allen,
\newblock ``Maintaining Knowledge About Temporal Intervals,''
\newblock {\em Communications of the ACM}, 26(11):832--843, 1983.

\bibitem[\protect\citename{Allen, }1990]{allen:hybrid}
James~F. Allen,
\newblock ``Unknown at press time,''
\newblock Technical report, University of Rochester, Computer Science
  Department, 1990,
\newblock Forthcoming; presented at 1988 workshop on Principles of Hybrid
  Reasoning, 21 August, 1988 St. Paul, Minnesota.

\bibitem[\protect\citename{Allen and Koomen, }1983]{allen:plan}
James~F. Allen and Johannes~A. Koomen,
\newblock ``Planning Using a Temporal World Model,''
\newblock In {\em Proccedings 8th IJCAI}, pages 741--747, Karlsruhe, W.
  Germany, August 1983.

\bibitem[\protect\citename{Allen and Miller, }1989]{Rhet:UG}
James~F. Allen and Bradford~W. Miller,
\newblock ``The Rhetorical Knowledge Representation System: A User's Guide,''
\newblock Technical Report 238 (rerevised), University of Rochester, Computer
  Science Department, March 1989.

\bibitem[\protect\citename{Kautz, }1987]{kautz}
Henry~A. Kautz,
\newblock ``A Formal Theory of Plan Recognition,''
\newblock Technical Report 215, University of Rochester, Computer Science
  Department, May 1987,
\newblock PhD Thesis.

\bibitem[\protect\citename{Koomen, }1988]{timelogic}
Johannes~A.G.M. Koomen,
\newblock ``The TIMELOGIC Temporal Reasoning System,''
\newblock Technical Report 231 (revised), University of Rochester, Computer
  Science Department, October 1988.

\bibitem[\protect\citename{Koomen, }1989]{recurrence}
Johannes~A.G.M. Koomen,
\newblock ``Reasoning About Recurrence,''
\newblock Technical Report 307, University of Rochester, Computer Science
  Department, July 1989,
\newblock PhD Thesis.

\bibitem[\protect\citename{Miller, }1989]{Rhet:prog-notes}
Bradford~W. Miller,
\newblock ``Rhet Programmer's Guide,''
\newblock Technical Report 239 (rerevised), University of Rochester, Computer
  Science Department, March 1989.

\bibitem[\protect\citename{Nilsson, }1980]{Nilsson}
N.~J. Nilsson,
\newblock {\em Principles of Artificial Intelligence},
\newblock Morgan Kaufmann, 1980.

\end{thebibliography}
