Stefan S. Dantchev Barnaby Martin Stefan Szeider Parameterized Proof Complexity: a Complexity Gap for Parameterized Tree-like Resolution. 2007 14 Electronic Colloquium on Computational Complexity (ECCC) http://eccc.hpi-web.de/eccc-reports/2007/TR07-001/index.html 001 db/journals/eccc/eccc14.html#DantchevMS07