Exponential separations between restricted resolution and cutting planes proof systems | Publicación