"Unified Characterisations of Resolution Hardness Measures."

Olaf Beyersdorff, Oliver Kullmann (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics