Proving Harder Theorems by Axiom Reduction. - Geoff Sutcliffe; Alexander Dvorský (FLAIRS, 2003)