Space complexity of random formulae in resolution | Publicación