Generalising and Unifying SLUR and Unit-Refutation Completeness.

Matthew Gwynne, Oliver Kullmann

Browse the full SOFSEM paper archive.