Parameterized Resolution with bounded conjunction
  We provide separations between the parameterized versions of Res(1) (Resolution) and Res(2). Using a different set of parameterized contradictions, we also separate the parameterized versions of Res*(1) (tree-Resolution) and Res*(2). 
Stefan Dantchev and Barnaby Martin
cs.LO