Talia Ringer. Proof Repair. PhD thesis, University of Washington, USA, 2021. [doi]
@phdthesis{us-940, title = {Proof Repair}, author = {Talia Ringer}, year = {2021}, url = {http://hdl.handle.net/1773/47429}, researchr = {https://researchr.org/publication/us-940}, cites = {0}, citedby = {0}, school = {University of Washington, USA}, }