Bloem, R., Malik, S., Schlaipfer, M., & Weissenbacher, G. (2014). Reduction of Resolution Refutations and Interpolants via Subsumption. In E. Yahav (Ed.), Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings. Springer Cham. https://doi.org/10.1007/978-3-319-13338-6_15