Andrei Voronkov. First-Order Theorem Provers: the Next Generation. In Ian Horrocks, Sergio Tessaris, editors, Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002. Volume 53 of CEUR Workshop Proceedings, CEUR-WS.org, 2002. [doi]
Abstract is missing.