s/fof-reduction.html/fof-prover9.html/
