J. Wunderlich and M. Plum, “Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems”, Acta Cybern, vol. 24, no. 3, pp. 373-391, Mar. 2020.