An Upper Bound on the Space Complexity of Random Formulae in Resolution Michele Zito RAIRO-Theor. Inf. Appl., 36 4 (2002) 329-339 Published online: 15 February 2003 DOI: 10.1051/ita:2003003
