Click LIPIcs.CPM.2023.20.pdf link to view the file.