A time-space hierarchy between P and PSPACE (1992)

by P Clote
Venue:Math. Systems Theory