Dantchev, Stefan, Martin, Barnaby, Szeider, Stefan, "Parameterized Proof Complexity", Computational Complexity, 2025