- Ingo Dahn, Laurent Vigneron, editors, 4th International Workshop on First-Order Theorem Proving, FTP 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-14, 2003. Volume 86 of Electronic Notes in Theoretical Computer Science, Elsevier, 2003.