Contributions to Proceedings:
B. Woltzenlogel-Paleo et al.:
"Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses";
in: "Automated Deduction - {CADE-25} - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings",
9195;
A. Middeldorp et al. (ed.);
Springer, LNAI,
2015,
ISBN: 978-3-319-21401-6,
356
- 366.
Electronic version of the publication:
http://www.springer.com/de/book/9783319214009
Created from the Publication Database of the Vienna University of Technology.