Matthew Gwynne Oliver Kullmann Generalising and Unifying SLUR and Unit-Refutation Completeness. 220-232 2013 conf/sofsem/2013 SOFSEM https://doi.org/10.1007/978-3-642-35843-2_20 db/conf/sofsem/sofsem2013.html#GwynneK13