Gorzny, JanWoltzenlogel Paleo, Bruno2016-06-140302-9743http://hdl.handle.net/1885/103843Author affiliation statement now addedTowards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses201510.1007/978-3-319-21401-6_242016-06-14