Check out http:/www.uni-koblenz.de~bpelzerekrhyper for details. For the ease of maintenance we are using e-krhyper in its CASC-mode, aka tptp-input. It works for single input files and fof-style.