APA Citation

Kullmann, O., & Gwynne, M. (2014). Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution. Journal of Automated Reasoning, 52(1), pp. 31-65. doi:10.1007/s10817-013-9275-8

Chicago Style Citation

Kullmann, Oliver, and Matthew Gwynne. "Generalising Unit-Refutation Completeness and SLUR Via Nested Input Resolution." Journal of Automated Reasoning 52, no. 1 (2014): 31-65.

MLA Citation

Kullmann, Oliver, and Matthew Gwynne. "Generalising Unit-Refutation Completeness and SLUR Via Nested Input Resolution." Journal of Automated Reasoning 52.1 (2014): 31-65.

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