@inproceedings{MullerSzeider13,
 author = {Moritz M{ü}ller and Stefan Szeider},
 booktitle = {Mathematical Foundations of Computer Science 2013 -
38th International Symposium, {MFCS} 2013,
Klosterneuburg, Austria, August 26-30, 2013.
Proceedings},
 doi = {10.1007/978-3-642-40313-2_62},
 editor = {Krishnendu Chatterjee and
Jiri Sgall},
 pages = {704-716},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Revisiting Space in Proof Complexity: Treewidth and Pathwidth},
 volume = {8087},
 year = {2013}
}