Wunderlich, J., & Plum, M. (2020). Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems. Acta Cybernetica, 24(3), 373-391. https://doi.org/10.14232/actacyb.24.3.2020.6