Altmanninger, J.and A. Rebola Pardo. Frying the Egg, Roasting the Chicken: Unit Deletions in DRAT Proofs. ACM, 2020, doi:10.1145/3372885.3373821.