An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning | Publicación