Some non-trivial examples of the Baldwin-Ozsváth-Szabó twisted spectral sequence and Heegaard-Floer homology of branched double covers - Elden Elmanto; Igor Kriz (2016)