Dantchev, Stefan, Martin, Barnaby, "The limits of tractability in Resolution-based propositional proof systems", Annals of Pure and Applied Logic, 2012