Capturing Bisimulation-Invariant Exponential-Time Complexity Classes. - Florian Bruse; David Kronenberger; Martin Lange (GandALF, 2022)