On the simulation order of proof systems - Messner, Jochen (2000)