Messner, J. (2000). On the simulation order of proof systems.
Chicago-Zitierstil (17. Ausg.)Messner, Jochen. On the Simulation Order of Proof Systems. 2000.
MLA-Zitierstil (9. Ausg.)Messner, Jochen. On the Simulation Order of Proof Systems. 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.