Maria Luisa Bonet, Sam Buss. An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract). In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 2972-2976, IJCAI/AAAI, 2013. [doi]
Abstract is missing.