Dafa Li. Resolution with Limited Factoring. In Hepu Deng, Lanzhou Wang, Fu Lee Wang, Jingsheng Lei, editors, Artificial Intelligence and Computational Intelligence, International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings. Volume 5855 of Lecture Notes in Computer Science, pages 463-468, Springer, 2009. [doi]
Abstract is missing.