Space Bounds for Resolution.

Juan Luis Esteban, Jacobo Torn

Browse the full STACS paper archive.