Skip to content

Instantly share code, notes, and snippets.

@robsimmons

robsimmons/gist:3091051

Created July 11, 2012 15:13
Show Gist options
  • Save robsimmons/3091051 to your computer and use it in GitHub Desktop.
Save robsimmons/3091051 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.tex
\documentclass[12pt,openany]{article}
\begin{document}
\setcounter{page}{51}
Basically just read \cite{And01}.
\begin{thebibliography}{WCPW02}
\bibitem[And01]{andreoli01focussing}
Jean-Marc Andreoli.
\newblock Focussing and proof construction.
\newblock {\em Annals of Pure and Applied Logic}, 107:131--163, 2001.
\end{thebibliography}
\end{document}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment