Linear-Time Reductions of Resolution Proofs. - Omer Bar-Ilan; Oded Fuhrmann; Shlomo Hoory; Ohad Shacham; Ofer Strichman (Haifa Verification Conference, 2008)

On Extending Bounded Proofs to Inductive Proofs. - Oded Fuhrmann; Shlomo Hoory (CAV, 2009)

Reducing the size of resolution proofs in linear time. - Omer Bar-Ilan; Oded Fuhrmann; Shlomo Hoory; Ohad Shacham; Ofer Strichman (Int. J. Softw. Tools Technol. Transf., 2011)