S. Dantchev, B. Martin, St. Szeider: "Parameterized Proof Complexity"; Computational complexity, 20 (2011), 1; 51 - 85.
http://publik.tuwien.ac.at/files/PubDat_200732.pdf