TY  - RPRT
TI  - Generalising unit-refutation completeness and SLUR via nested input resolution
AU  - Matthew Gwynne
AU  - Oliver Kullmann
PY  - 2013
DO  - 10.1007/s10817-013-9275-8
UR  - https://arxiv.org/abs/1204.6529
ID  - 1204.6529
ER  -