https://pure.mpg.de/pubman/item/item_3622599_1/component/file_3622600/LIPIcs.ISAAC.2023.10.pdf