TY  - RPRT
TI  - An Implicit Characterization of PSPACE
AU  - Marco Gaboardi
AU  - Jean-Yves Marion
AU  - Simona Ronchi Della Rocca
PY  - 2010
UR  - https://arxiv.org/abs/1006.0030
ID  - 1006.0030
ER  -