Lima, D.V. de S. et al. 2017. Cancellations for circle-valued Morse functions via spectral sequences. Topological Methods in Nonlinear Analysis. 51, 1 (Dec. 2017), 259–311.