2025-02-262025-02-26https://hdl.handle.net/11420/5447942nd International Symposium on Theoretical Aspects of Computer Science, (STACS 2025)Conference