| |
| 2008 | ||
|---|---|---|
| 1 | EE | Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman: Linear-Time Reductions of Resolution Proofs. Haifa Verification Conference 2008: 114-128 |
| 1 | Omer Bar-Ilan | [1] |
| 2 | Shlomo Hoory | [1] |
| 3 | Ohad Shacham | [1] |
| 4 | Ofer Strichman | [1] |