Vorobyov, Sergei Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-98-2-007.pdf (beliebiger Volltext), 392KB
Vorobyov, S.(1998). The most nonelementary theory (a direct lower bound proof) (MPI-I-1998-2-007). Saarbrücken: Max-Planck-Institut für Informatik.