Hasan Amjad. A Compressing Translation from Propositional Resolution to Natural Deduction. In Boris Konev, Frank Wolter, editors, Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Volume 4720 of Lecture Notes in Computer Science, pages 88-102, Springer, 2007. [doi]
Abstract is missing.