@article{DantchevMartinSzeiderS11,
 author = {Stefan S. Dantchev and
Barnaby Martin and
Stefan Szeider},
 doi = {10.1007/s00037-010-0001-1},
 journal = {Computational Complexity},
 number = {1},
 pages = {51-85},
 title = {Parameterized Proof Complexity},
 volume = {20},
 year = {2011}
}