Short Proofs Are Narrow - Resolution Made Simple (Abstract).