%0 Journal Article
%A Zito, Michele
%T An upper bound on the space complexity of random formulae in resolution
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2002
%P 329-339
%V 36
%N 4
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita:2003003/
%R 10.1051/ita:2003003
%G en
%F ITA_2002__36_4_329_0