Altmanninger, J., & Rebola Pardo, A. (2020). Frying the Egg, Roasting the Chicken: Unit Deletions in DRAT Proofs. In CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’20), January 20–21, 2020, New Orleans, LA, USA / Blanchette, Jasmin; Hriţcu, Cătălin. ACM. https://doi.org/10.1145/3372885.3373821