Stefan Zetzsche, Alexandra Silva, and Matteo Sammartino.

Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 – Proceedings of MFPS XXXVIII, February 28, 2023, entics:10505. 2023