Dr Lukas Aumayr Research Associate School of Informatics The University of Edinburgh Contact details Email: Lukas.Aumayr@ed.ac.uk Research Institute Laboratory for Foundations of Computer Science This article was published on 28th Aug 2025 at 07:15