Lu, G. 2016. The splitting lemmas for nonsmooth functional on Hilbert spaces II. The case at infinity. Topological Methods in Nonlinear Analysis. 44, 2 (Apr. 2016), 277–335.