Omer Bar-Ilan

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

Coauthor Index

1	Oded Fuhrmann	[1]
2	Shlomo Hoory	[1]
3	Ohad Shacham	[1]
4	Ofer Strichman	[1]