\documentstyle{logic}
\input{odsymb}
\makeindex
\setcounter{chapter}{2}
\input{intro.lab}
\begin{document}
\input{elp}
\bibliographystyle{alpha}
\bibliography{odrefs}
\input{draft-elp.subind}
\input{draft-elp.notind}
\input{draft-elp.auind}
\end{document}