Frying the Egg, Roasting the Chicken: Unit Deletions in DRAT Proofs

POPL 2020