@article{MuellerSzeider17,
 author = {Moritz M{ü}ller and Stefan Szeider},
 doi = {10.1016/j.ic.2017.05.005},
 journal = {Information and Computation},
 pages = {147--164},
 pdf = {https://www.ac.tuwien.ac.at/files/tr/ac-tr-17-010.pdf},
 title = {The Treewidth of Proofs},
 volume = {255},
 year = {2017}
}