On the complexity of resolution with bounded conjunctions | Publicación