Peter Drmota, Research Associate, Laboratory for Foundations of Computer Science, School of Informatics, at the University of Edinburgh. Mr Peter Drmota Research Associate School of Informatics The University of Edinburgh Contact details Email: pdrmota@ed.ac.uk Research Institute Laboratory for Foundations of Computer Science This article was published on 24th Oct 2024 at 14:10