\begin{thebibliography}{}

\bibitem[\protect\citename{Andrews}1986]{andrews}
Andrews, Peter~B.
\newblock 1986.
\newblock {\em An Introduction to Mathematical Logic and Type Theory: To Truth
  Through Proof}.
\newblock Computer Science and Applied Mathematics, volume~3, number~2.
\newblock Orlando, Florida: Academic Press.

\bibitem[\protect\citename{Bratman}1983]{Bratman83}
Bratman, M.
\newblock 1983.
\newblock Castaneda's theory of thought and action.
\newblock In James Tomberlin, editor, {\em Agent, Language, and the Structure
  of the World: Essays Presented to Hector-Neri Castaneda with his Replies}.
  Hackett, Indianapolis, Indiana, pages 149--169.

%%% Force a newpage here to even off the columns
\newpage

\bibitem[\protect\citename{Dahl}1981]{dahl-cl}
Dahl, Veronica.
\newblock 1981.
\newblock Translating {Spanish} into logic through logic.
\newblock {\em Computational Linguistics}, 7(3):149--164.

\bibitem[\protect\citename{Gazdar \bgroup et al.\egroup }1985]{gkps85}
Gazdar, G., E.~Klein, G.~K. Pullum, and I.~A. Sag.
\newblock 1985.
\newblock {\em Generalized Phrase Structure Grammar}.
\newblock Oxford: Blackwell Publishing.
\newblock Also published by Harvard University Press, Cambridge, MA.

\bibitem[\protect\citename{Gazdar, Pullum, and Sag}1982]{gazdar-aux}
Gazdar, Gerald, Geoffrey~K. Pullum, and Ivan~A. Sag.
\newblock 1982.
\newblock Auxiliaries and related phenomena in a restrictive theory of grammar.
\newblock {\em Language}, 58:591--638.

\bibitem[\protect\citename{Russell}1940]{russell-inquiry}
Russell, Bertrand.
\newblock 1940.
\newblock {\em An Inquiry into Meaning and Truth}.
\newblock Allen and Unwin.

\end{thebibliography}