An Upper Bound on the Space Complexity of Random Formulae in ResolutionMichele ZitoRAIRO-Theor. Inf. Appl., 36 4 (2002) 329-339DOI: https://doi.org/10.1051/ita:2003003
