Proceedings of meetings Fri Oct 31 09:58:07 1997

<A HREF="http://www.logic.at/ftp97">
<B>International Workshop on First-Order Theorem Proving (FTP97)
            Schloss Hagenberg, October 27-28, 1997</B></A>

<A HREF="http://www.logic.at/ftp97/ftp97.bib">
<B>BibTeX entries for the papers presented at the workshop</B></A>