_id,doi,title
5745,10.1007/978-3-642-33386-6_10,Improved Single Pass Algorithms for Resolution Proof Reduction