Matthew Gwynne, Oliver Kullmann. Generalising and Unifying SLUR and Unit-Refutation Completeness. In Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy R. Nawrocki, Harald Sack, editors, SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings. Volume 7741 of Lecture Notes in Computer Science, pages 220-232, Springer, 2013. [doi]
Abstract is missing.