APA Citation

Kullmann, O., & Beyersdorff, O. (2014). Unified Characterisations of Resolution Hardness Measures. Theory and Applications of Satisfiability Testing – SAT 2014, 8561, pp. -187. doi:10.1007/978-3-319-09284-3_13

Chicago Style Citation

Kullmann, Oliver, and Olaf Beyersdorff. "Unified Characterisations of Resolution Hardness Measures." Theory and Applications of Satisfiability Testing – SAT 2014 8561 (2014): -187.

MLA Citation

Kullmann, Oliver, and Olaf Beyersdorff. "Unified Characterisations of Resolution Hardness Measures." Theory and Applications of Satisfiability Testing – SAT 2014 8561 (2014): -187.

Warning: These citations may not always be 100% accurate.