Towards an optimal separation of space and length in resolution.

Jakob Nordstrm, Johan Hstad

Browse the full STOC paper archive.