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