Prolog - Warren, David S.; Dahl, Veronica; Eiter, Thomas; Hermenegildo, Manuel V.; Kowalski, Robert; Rossi, Francesca (Cham Springer, 2023)