Wunderlich Jonathan; Plum Michael: Computer-assisted existence proofs for one-dimensional Schrödinger-poisson systems. In: Acta cybernetica, (24) 3. pp. 373-391. (2020)