@inproceedings{DantchevMartinSzeider07,
 author = {Stefan Dantchev and Barnaby Martin and Stefan Szeider},
 booktitle = {Proceedings of the 48th Annual Symposium on Foundations of 
Computer Science (FOCS 2007), October 20-23, 2007, 
Providence, RI, USA},
 doi = {10.1109/FOCS.2007.52},
 pages = {150-160},
 publisher = {IEEE Press},
 title = {Parameterized Proof Complexity},
 year = {2007}
}