TY  - RPRT
TI  - Pebble Games, Proof Complexity, and Time-Space Trade-offs
AU  - Jakob Nordstrom
PY  - 2013
DO  - 10.2168/lmcs-9(3:15)2013
UR  - https://arxiv.org/abs/1307.3913
ID  - 1307.3913
ER  -