Unified Characterisations of Resolution Hardness Measures - Oliver Kullmann (International Conference on Theory and Applications of Satisfiability Testing: Springer, 2014)