@inproceedings{DBLP:conf/focs/HertelP07,
author = {Philipp Hertel and
Toniann Pitassi},
title = {Exponential Time/Space Speedups for Resolution and the PSPACE-completeness
of Black-White Pebbling},
booktitle = {FOCS},
year = {2007},
pages = {137-149},
ee = {http://doi.ieeecomputersociety.org/10.1109/FOCS.2007.25},
crossref = {DBLP:conf/focs/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/focs/2007,
title = {48th Annual IEEE Symposium on Foundations of Computer Science
(FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings},
booktitle = {FOCS},
publisher = {IEEE Computer Society},
year = {2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}