Corks, involutions, and Heegaard Floer homology - Irving Dai; Matthew Hedden; Abhishek Mallick (2020)