[ Final Program ]


International Workshop on
First order Theorem Proving

Schloss Hagenberg, Austria
October 27 - 28, 1997


Appeared in the RISC-Linz Report Series, No. 97-50, Johannes Kepler Universität Linz (Austria), 1997.

The bibliographic data for all articles is available in BibTeX format.

Front matter

Invited talk

Contributed papers

All submissions were refereed by two or three referees. The program committee accepted 25 out of 44 papers.

Related Documents

The Call for Papers is available as plain text, as LaTeX source, and in PDF format.

The Final Program is available as LaTeX source, in PDF format.


21 Dec 1998, Gernot Salzer (ps to pdf conversion of documents 4 Jan 2018)