Christoph Benzmüller Armin Fiedler Andreas Meier Martin Pollet Jörg H. Siekmann 127-141 2006 conf/tphol/2006provers The Seventeen Provers of the World http://dx.doi.org/10.1007/11542384_17 db/conf/tphol/lncs3600.html#BenzmullerFMPS06