Berkovits, J. et al. 2003. Existence and multiplicity results for wave equations with time-independent nonlinearity. Topological Methods in Nonlinear Analysis. 22, 2 (Dec. 2003), 273–295.