2023-08-172023-08-17https://hdl.handle.net/11420/4274538th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023Conference10.15480/882.1012210.15480/882.10122