An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract).