Source: https://drops.dagstuhl.de/opus/volltexte/2021/13958/pdf/LIPIcs-CPM-2021-7.pdf