Parameterized Proof Complexity.

Stefan S. Dantchev, Barnaby Martin, Stefan Szeider

Browse the full FOCS paper archive.