2024-02-292024-02-29https://hdl.handle.net/11420/4612832nd EACSL Annual Conference on Computer Science Logic, CSL 2024Conference10.15480/882.1255610.15480/882.12556