Per visualizzare il file, fai click su questo link: LIPIcs.CPM.2023.20.pdf