Eli Ben-Sasson Nicola Galesi Space Complexity of Random Formulae in Resolution. 42-51 http://www.computer.org/proceedings/ccc/1053/10530042abs.htm 2001 IEEE Conference on Computational Complexity db/conf/coco/coco2001.html#Ben-SassonG01