Optimality of size-width tradeoffs for resolution | Publicación