Methods of Cut-Elimination