Advances in first-order theorem proving

An international workshop on First-order Theorem Proving, FTP 1997, was organized by the guest editors in October 1997 at Schloss Hagenberg near Linz. Twenty-five extended abstracts were presented at the workshop and are available at http://www.logic.at/ftp97/. The workshop was successful and became a starting point for a call for paper for this special issue. Eighteen papers were submitted to this special issue, and with the help of thiry peer reviewers, eight were selected for publication