"Narrow proofs may be spacious: separating space and width in resolution."

Jakob Nordström (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics