Browsing by Author Rebola Pardo, Adrian

Showing results 1 to 1 of 1
Authors / EditorsTitleTypeIssue Date
Altmanninger, Johannes ; Rebola Pardo, AdrianFrying the Egg, Roasting the Chicken: Unit Deletions in DRAT ProofsInproceedings Konferenzbeitrag 2020