Resolution Lower Bounds for Refutation Statements | Publicación