B. Woltzenlogel-Paleo et al.: "Skeptik: A Proof Compression System"; in: "Automated Reasoning - 7th International Joint Conference, IJCAR 2014", Springer LNCS, 2014, ISBN: 978-3-319-08586-9, 374 - 380.
http://dx.doi.org/10.1007/978-3-319-08587-6_29