Minimization of resolution proof systems