Frying the egg, roasting the chicken: unit deletions in DRAT proofs. - Johannes Altmanninger; Adrian Rebola-Pardo (CPP, 2020)