On the Complexity of Resolution with Bounded Conjunctions | Publicación