String processing and information retrieval 30th international symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023 : proceedings - Nardini, Franco Maria; Pisanti, Nadia; Venturini, Rossano (Springer, 2023)