Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution - Oliver Kullmann (Journal of Automated Reasoning, 2014)