On the simulation order of proof systems - Messner, Jochen (Ulm, Univ., Diss., 2001, 2000)